Mikolas Janota
AuthID: R-004-VTA
41
TÃTULO: Extension variables in QBF resolution
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2016, FONTE: AAAI Workshop - Technical Report, VOLUME: WS-16-01 - WS-16-15
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2016, FONTE: AAAI Workshop - Technical Report, VOLUME: WS-16-01 - WS-16-15
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID42
TÃTULO: Proof complexity of resolution-based QBF calculi
AUTORES: Beyersdorff, O; Chew, L; Janota, M;
PUBLICAÇÃO: 2015, FONTE: 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 30
AUTORES: Beyersdorff, O; Chew, L; Janota, M;
PUBLICAÇÃO: 2015, FONTE: 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 30
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID43
TÃTULO: Quantified maximum satisfiability Full Text
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: Constraints
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: Constraints
44
TÃTULO: Efficient extraction of QBF (counter) models from long-distance resolution proofs
AUTORES: Balabanov, V; Jiang, JHR; Janota, M; Widl, AM;
PUBLICAÇÃO: 2015, FONTE: 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 5
AUTORES: Balabanov, V; Jiang, JHR; Janota, M; Widl, AM;
PUBLICAÇÃO: 2015, FONTE: 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 5
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID45
TÃTULO: On Unification of QBF Resolution-Based Calculi
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikolas Janota;
PUBLICAÇÃO: 2014, FONTE: 39th International Symposium on Mathematical Foundations of Computer Science (MFCS) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PT II, VOLUME: 8635
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikolas Janota;
PUBLICAÇÃO: 2014, FONTE: 39th International Symposium on Mathematical Foundations of Computer Science (MFCS) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PT II, VOLUME: 8635
INDEXADO EM: 
WOS
WOS NO MEU: ORCID
ORCID46
TÃTULO: On unification of QBF resolution-based calculi
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8635 LNCS, NÚMERO: PART 2
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8635 LNCS, NÚMERO: PART 2
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID47
TÃTULO: On Unification of QBF Resolution-Based Calculi
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 2014
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 2014
48
TÃTULO: Quantified Maximum Satisfiability:
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
Unpaywall
Unpaywall49
TÃTULO: QBf-based boolean function bi-decomposition
AUTORES: Huan Chen; Janota, M; Marques-Silva, J;
PUBLICAÇÃO: 2012, FONTE: 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
AUTORES: Huan Chen; Janota, M; Marques-Silva, J;
PUBLICAÇÃO: 2012, FONTE: 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
50
TÃTULO: How to Complete an Interactive Configuration Process? Configuring as Shopping
AUTORES: Janota, M; Botterweck, G; Grigore, R; Marques Silva, J;
PUBLICAÇÃO: 2010, FONTE: SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 5901
AUTORES: Janota, M; Botterweck, G; Grigore, R; Marques Silva, J;
PUBLICAÇÃO: 2010, FONTE: SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 5901
INDEXADO EM: WOS
WOS NO MEU: ORCID
ORCID