Mikolas Janota
AuthID: R-004-VTA
You have no permission to see this content: profileOfResearchers/view
Please sign in.21
TÃTULO: Graph Neural Networks for Scheduling of SMT Solvers
AUTORES: Hula, J; Mojzísek, D; Janota, M;
PUBLICAÇÃO: 2021, FONTE: 2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021)
AUTORES: Hula, J; Mojzísek, D; Janota, M;
PUBLICAÇÃO: 2021, FONTE: 2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021)
22
TÃTULO: SAT-Based Encodings for Optimal Decision Trees with Explicit Paths
AUTORES: Janota, M; Morgado, António ;
PUBLICAÇÃO: 2020, FONTE: 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
AUTORES: Janota, M; Morgado, António ;
PUBLICAÇÃO: 2020, FONTE: 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
23
TÃTULO: PrideMM: Second order model checking for memory consistency models
AUTORES: Cooksey, S; Harris, S; Batty, M; Grigore, R; Janota, M;
PUBLICAÇÃO: 2020, FONTE: 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
AUTORES: Cooksey, S; Harris, S; Batty, M; Grigore, R; Janota, M;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: 
Scopus
Scopus24
TÃTULO: Preface
AUTORES: Janota, M; Lynce, I ;
PUBLICAÇÃO: 2019, FONTE: 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
AUTORES: Janota, M; Lynce, I ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus
Scopus25
TÃTULO: On Unordered BDDs and Quantified Boolean Formulas
AUTORES: Janota, M;
PUBLICAÇÃO: 2019, FONTE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
AUTORES: Janota, M;
PUBLICAÇÃO: 2019, FONTE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
26
TÃTULO: New Resolution-Based QBF Calculi and Their Proof Complexity
AUTORES: Beyersdorff, O; Chew, L; Janota, M;
PUBLICAÇÃO: 2019, FONTE: ACM TRANSACTIONS ON COMPUTATION THEORY, VOLUME: 11, NÚMERO: 4
AUTORES: Beyersdorff, O; Chew, L; Janota, M;
PUBLICAÇÃO: 2019, FONTE: ACM TRANSACTIONS ON COMPUTATION THEORY, VOLUME: 11, NÚMERO: 4
27
TÃTULO: Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings
AUTORES: Mikolás Janota; Inês Lynce ;
PUBLICAÇÃO: 2019, FONTE: SAT, VOLUME: 11628
AUTORES: Mikolás Janota; Inês Lynce ;
PUBLICAÇÃO: 2019, FONTE: SAT, VOLUME: 11628
INDEXADO EM: 
DBLP
DBLP28
TÃTULO: Circuit-Based Search Space Pruning in QBF
AUTORES: Janota, M;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Janota, M;
PUBLICAÇÃO: 2018, FONTE: 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
29
TÃTULO: Towards Generalization in QBF Solving via Machine Learning
AUTORES: Mikolas Janota;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Mikolas Janota;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: 
WOS
WOS30
TÃTULO: Towards smarter mace-style model finders
AUTORES: Janota, M; Suda, M;
PUBLICAÇÃO: 2018, FONTE: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2018 in EPiC Series in Computing, VOLUME: 57
AUTORES: Janota, M; Suda, M;
PUBLICAÇÃO: 2018, FONTE: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2018 in EPiC Series in Computing, VOLUME: 57
