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