Mikolas Janota
AuthID: R-004-VTA
21
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
22
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
23
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
DBLP24
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
25
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
WOS26
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
27
TÃTULO: Towards generalization in QBF solving via machine learning
AUTORES: Mikoláš Janota;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
AUTORES: Mikoláš Janota;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID28
TÃTULO: Playing with Quantified Satisfaction
AUTORES: Nikolaj Bjorner; Mikolas Janota;
PUBLICAÇÃO: 2018, FONTE: EPiC Series in Computing
AUTORES: Nikolaj Bjorner; Mikolas Janota;
PUBLICAÇÃO: 2018, FONTE: EPiC Series in Computing
29
TÃTULO: On Minimal Corrections in ASP PDF
AUTORES: Mikolás Janota; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: 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
AUTORES: Mikolás Janota; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: DBLP
DBLP30
TÃTULO: Minimal sets on propositional formulae. Problems and reductions PDF Full Text
AUTORES: João Marques Silva ; Mikolás Janota;
PUBLICAÇÃO: 2017, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 252
AUTORES: João Marques Silva ; Mikolás Janota;
PUBLICAÇÃO: 2017, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 252
