Mikolas Janota
AuthID: R-004-VTA
21
TITLE: Preface
AUTHORS: Janota, M; Lynce, I ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
AUTHORS: Janota, M; Lynce, I ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
INDEXED IN: 
Scopus
Scopus22
TITLE: On Unordered BDDs and Quantified Boolean Formulas
AUTHORS: Janota, M;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
AUTHORS: Janota, M;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
23
TITLE: New Resolution-Based QBF Calculi and Their Proof Complexity
AUTHORS: Beyersdorff, O; Chew, L; Janota, M;
PUBLISHED: 2019, SOURCE: ACM TRANSACTIONS ON COMPUTATION THEORY, VOLUME: 11, ISSUE: 4
AUTHORS: Beyersdorff, O; Chew, L; Janota, M;
PUBLISHED: 2019, SOURCE: ACM TRANSACTIONS ON COMPUTATION THEORY, VOLUME: 11, ISSUE: 4
24
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
DBLP25
TITLE: Circuit-Based Search Space Pruning in QBF
AUTHORS: Janota, M;
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: Janota, M;
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
26
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
WOS27
TITLE: Towards smarter mace-style model finders
AUTHORS: Janota, M; Suda, M;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2018 in EPiC Series in Computing, VOLUME: 57
AUTHORS: Janota, M; Suda, M;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2018 in EPiC Series in Computing, VOLUME: 57
28
TITLE: Towards generalization in QBF solving via machine learning
AUTHORS: Mikoláš Janota;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
AUTHORS: Mikoláš Janota;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID29
TITLE: Playing with Quantified Satisfaction
AUTHORS: Nikolaj Bjorner; Mikolas Janota;
PUBLISHED: 2018, SOURCE: EPiC Series in Computing
AUTHORS: Nikolaj Bjorner; Mikolas Janota;
PUBLISHED: 2018, SOURCE: EPiC Series in Computing
30
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
DBLP