Mikolas Janota
AuthID: R-004-VTA
21
TITLE: Solving QBF with counterexample guided refinement
AUTHORS: Mikolás Janota; William Klieber; Joao Marques Silva ; Edmund M. Clarke;
PUBLISHED: 2016, SOURCE: Artif. Intell., VOLUME: 234
AUTHORS: Mikolás Janota; William Klieber; Joao Marques Silva ; Edmund M. Clarke;
PUBLISHED: 2016, SOURCE: Artif. Intell., VOLUME: 234
INDEXED IN: 
DBLP
DBLP22
TITLE: Algorithms for computing backbones of propositional formulae Full Text
AUTHORS: Janota, M; Lynce, I; Marques Sliva, J ;
PUBLISHED: 2015, SOURCE: AI COMMUNICATIONS, VOLUME: 28, ISSUE: 2
AUTHORS: Janota, M; Lynce, I; Marques Sliva, J ;
PUBLISHED: 2015, SOURCE: AI COMMUNICATIONS, VOLUME: 28, ISSUE: 2
23
TITLE: Expansion-based QBF solving versus Q-resolution Full Text
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 577, ISSUE: 1
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 577, ISSUE: 1
24
TITLE: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTHORS: Miguel Neves; Ruben Martins; Mikolas Janota; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
AUTHORS: Miguel Neves; Ruben Martins; Mikolas Janota; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
25
TITLE: Solving QBF by Clause Selection
AUTHORS: Mikolás Janota; Joao Marques Silva ;
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: Mikolás Janota; Joao Marques Silva ;
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 DBLP26
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 DBLP27
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
28
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
WOS29
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
30
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
