21
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
INDEXADO EM: Scopus
22
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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
23
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
INDEXADO EM: Scopus WOS CrossRef: 19
NO MEU: ORCID
25
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
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID
26
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
INDEXADO EM: WOS
27
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
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
28
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
INDEXADO EM: Scopus
NO MEU: ORCID
29
TÍTULO: Playing with Quantified Satisfaction
AUTORES: Nikolaj Bjorner; Mikolas Janota;
PUBLICAÇÃO: 2018, FONTE: EPiC Series in Computing
INDEXADO EM: CrossRef: 6
NO MEU: ORCID
30
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
INDEXADO EM: DBLP
Página 3 de 10. Total de resultados: 98.