Mikolas Janota
AuthID: R-004-VTA
61
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
DBLP62
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
ORCID63
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
64
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
65
TITLE: On Propositional QBF Expansions and Q-Resolution
AUTHORS: 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: 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
66
TITLE: Minimal Sets over Monotone Predicates in Boolean Formulae
AUTHORS: João Marques Silva ; Mikolás Janota; Anton Belov;
PUBLISHED: 2013, SOURCE: 25th International Conference on Computer Aided Verification, CAV 2013 in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, VOLUME: 8044
AUTHORS: João Marques Silva ; Mikolás Janota; Anton Belov;
PUBLISHED: 2013, SOURCE: 25th International Conference on Computer Aided Verification, CAV 2013 in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, VOLUME: 8044
67
TITLE: Solving QBF with Free Variables
AUTHORS: Klieber, W; Janota, M; Marques Silva, J ; Clarke, E;
PUBLISHED: 2013, SOURCE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124
AUTHORS: Klieber, W; Janota, M; Marques Silva, J ; Clarke, E;
PUBLISHED: 2013, SOURCE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124
68
TITLE: On Computing Minimal Correction Subsets
AUTHORS: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLISHED: 2013, SOURCE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
AUTHORS: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLISHED: 2013, SOURCE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID69
TITLE: On QBF Proofs and Preprocessing
AUTHORS: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
AUTHORS: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
70
TITLE: On Propositional QBF Expansions and Q-Resolution
AUTHORS: Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 20
AUTHORS: Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 20
INDEXED IN: DBLP
DBLP