Mikolas Janota
AuthID: R-004-VTA
21
TITLE: SAT-Based Encodings for Optimal Decision Trees with Explicit Paths
AUTHORS: Janota, M; Morgado, António ;
PUBLISHED: 2020, SOURCE: 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
AUTHORS: Janota, M; Morgado, António ;
PUBLISHED: 2020, SOURCE: 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
22
TITLE: PrideMM: Second order model checking for memory consistency models
AUTHORS: Cooksey, S; Harris, S; Batty, M; Grigore, R; Janota, M;
PUBLISHED: 2020, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12233 LNCS
AUTHORS: Cooksey, S; Harris, S; Batty, M; Grigore, R; Janota, M;
PUBLISHED: 2020, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12233 LNCS
INDEXED IN: 
Scopus
Scopus23
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
Scopus24
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
25
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
26
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
DBLP27
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
28
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
WOS29
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
30
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
ORCID