Mikolas Janota
AuthID: R-004-VTA
31
TITLE: Towards Generalization in QBF Solving via Machine Learning
AUTHORS: Mikolas Janota;
PUBLISHED: 2018, SOURCE: 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
AUTHORS: Mikolas Janota;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: 
WOS
WOS32
TITLE: Towards smarter mace-style model finders
AUTHORS: Janota, M; Suda, M;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2018 in EPiC Series in Computing, VOLUME: 57
AUTHORS: Janota, M; Suda, M;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2018 in EPiC Series in Computing, VOLUME: 57
33
TITLE: Towards generalization in QBF solving via machine learning
AUTHORS: Mikoláš Janota;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
AUTHORS: Mikoláš Janota;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID34
TITLE: Playing with Quantified Satisfaction
AUTHORS: Nikolaj Bjorner; Mikolas Janota;
PUBLISHED: 2018, SOURCE: EPiC Series in Computing
AUTHORS: Nikolaj Bjorner; Mikolas Janota;
PUBLISHED: 2018, SOURCE: EPiC Series in Computing
35
TITLE: On Minimal corrections in ASP
AUTHORS: Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2017, SOURCE: CEUR Workshop Proceedings, VOLUME: 2011
AUTHORS: Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2017, SOURCE: CEUR Workshop Proceedings, VOLUME: 2011
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID36
TITLE: On the quest for an acyclic graph
AUTHORS: Mikoláš Janota; Radu Grigore; Vasco Manquinho;
PUBLISHED: 2017, SOURCE: CEUR Workshop Proceedings, VOLUME: 2011
AUTHORS: Mikoláš Janota; Radu Grigore; Vasco Manquinho;
PUBLISHED: 2017, SOURCE: CEUR Workshop Proceedings, VOLUME: 2011
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID37
TITLE: Solving QBF with counterexample guided refinement Full Text
AUTHORS: Janota, M; Klieber, W; Marques Silva, J ; Clarke, E;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 234
AUTHORS: Janota, M; Klieber, W; Marques Silva, J ; Clarke, E;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 234
38
TITLE: On Incremental Core-Guided MaxSAT Solving
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho ; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho ; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
39
TITLE: On intervals and bounds in bit-vector arithmetic
AUTHORS: Mikoláš Janota; Christoph M Wintersteiger;
PUBLISHED: 2016, SOURCE: CEUR Workshop Proceedings, VOLUME: 1617
AUTHORS: Mikoláš Janota; Christoph M Wintersteiger;
PUBLISHED: 2016, SOURCE: CEUR Workshop Proceedings, VOLUME: 1617
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID40
TITLE: On Q-Resolution and CDCL QBF Solving
AUTHORS: Janota, M;
PUBLISHED: 2016, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
AUTHORS: Janota, M;
PUBLISHED: 2016, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
