Mikolas Janota
AuthID: R-004-VTA
11
TITLE: New Resolution-Based QBF Calculi and Their Proof Complexity Full Text
AUTHORS: Olaf Beyersdorff; Leroy Chew; Mikolas Janota;
PUBLISHED: 2019, SOURCE: ACM TRANSACTIONS ON COMPUTATION THEORY, VOLUME: 11, ISSUE: 4
AUTHORS: Olaf Beyersdorff; Leroy Chew; Mikolas Janota;
PUBLISHED: 2019, SOURCE: ACM TRANSACTIONS ON COMPUTATION THEORY, VOLUME: 11, ISSUE: 4
INDEXED IN: 
Scopus 
WOS
Scopus WOS12
TITLE: Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings
AUTHORS: Mikolás Janota; Inês Lynce;
PUBLISHED: 2019, SOURCE: SAT, VOLUME: 11628
AUTHORS: Mikolás Janota; Inês Lynce;
PUBLISHED: 2019, SOURCE: SAT, VOLUME: 11628
INDEXED IN: 
DBLP
DBLP13
TITLE: Circuit-Based Search Space Pruning in QBF
AUTHORS: Mikolas Janota;
PUBLISHED: 2018, SOURCE: 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FloC) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018, VOLUME: 10929
AUTHORS: Mikolas Janota;
PUBLISHED: 2018, SOURCE: 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FloC) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018, VOLUME: 10929
INDEXED IN: Scopus WOS
Scopus WOS14
TITLE: Towards Generalization in QBF Solving via Machine Learning
AUTHORS: Mikolas Janota;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
AUTHORS: Mikolas Janota;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXED IN: WOS
WOS15
TITLE: On Minimal Corrections in ASP PDF
AUTHORS: Mikolás Janota; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017., VOLUME: 2011
AUTHORS: Mikolás Janota; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017., VOLUME: 2011
INDEXED IN: DBLP
DBLP16
TITLE: An Achilles' Heel of Term-Resolution
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
17
TITLE: Minimal sets on propositional formulae. Problems and reductions
AUTHORS: Joao Marques Silva ; Mikolás Janota; Carlos Mencía;
PUBLISHED: 2017, SOURCE: Artif. Intell., VOLUME: 252
AUTHORS: Joao Marques Silva ; Mikolás Janota; Carlos Mencía;
PUBLISHED: 2017, SOURCE: Artif. Intell., VOLUME: 252
INDEXED IN: DBLP
DBLP18
TITLE: On Minimal corrections in ASP
AUTHORS: Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2017, SOURCE: CEUR Workshop Proceedings, VOLUME: 2011
AUTHORS: Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2017, SOURCE: CEUR Workshop Proceedings, VOLUME: 2011
INDEXED IN: Scopus
Scopus19
TITLE: On the query complexity of selecting minimal sets for monotone predicates Full Text
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
20
TITLE: On Incremental Core-Guided MaxSAT Solving
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
