Mikolas Janota
AuthID: R-004-VTA
51
TITLE: Efficient Model Based Diagnosis with Maximum Satisfiability
AUTHORS: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
PUBLISHED: 2015, SOURCE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
AUTHORS: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
PUBLISHED: 2015, SOURCE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: 
ORCID
ORCID52
TITLE: Efficient extraction of QBF (counter) models from long-distance resolution proofs
AUTHORS: Balabanov, V; Jiang, JHR; Janota, M; Widl, AM;
PUBLISHED: 2015, SOURCE: 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 5
AUTHORS: Balabanov, V; Jiang, JHR; Janota, M; Widl, AM;
PUBLISHED: 2015, SOURCE: 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 5
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID53
TITLE: Algorithms for computing minimal equivalent subformulas Full Text
AUTHORS: Belov, A; Janota, M; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
AUTHORS: Belov, A; Janota, M; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
54
TITLE: On Unification of QBF Resolution-Based Calculi
AUTHORS: Olaf Beyersdorff; Leroy Chew; Mikolas Janota;
PUBLISHED: 2014, SOURCE: 39th International Symposium on Mathematical Foundations of Computer Science (MFCS) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PT II, VOLUME: 8635
AUTHORS: Olaf Beyersdorff; Leroy Chew; Mikolas Janota;
PUBLISHED: 2014, SOURCE: 39th International Symposium on Mathematical Foundations of Computer Science (MFCS) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PT II, VOLUME: 8635
INDEXED IN: 
WOS
WOS IN MY: ORCID
ORCID55
TITLE: Towards Efficient Optimization in Package Management Systems
AUTHORS: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 36th International Conference on Software Engineering (ICSE) in 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), ISSUE: 1
AUTHORS: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 36th International Conference on Software Engineering (ICSE) in 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), ISSUE: 1
56
TITLE: On lazy and eager interactive reconfiguration
AUTHORS: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLISHED: 2014, SOURCE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014
AUTHORS: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLISHED: 2014, SOURCE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014
57
TITLE: On the Query Complexity of Selecting Few Minimal Sets
AUTHORS: João Marques Silva ; Mikolás Janota;
PUBLISHED: 2014, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21
AUTHORS: João Marques Silva ; Mikolás Janota;
PUBLISHED: 2014, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21
INDEXED IN: DBLP
DBLP58
TITLE: On unification of QBF resolution-based calculi
AUTHORS: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8635 LNCS, ISSUE: PART 2
AUTHORS: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8635 LNCS, ISSUE: PART 2
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID59
TITLE: On Unification of QBF Resolution-Based Calculi
AUTHORS: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 2014
AUTHORS: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 2014
60
TITLE: Quantified Maximum Satisfiability: - A Core-Guided Approach
AUTHORS: Alexey Ignatiev; Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
AUTHORS: Alexey Ignatiev; Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
