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 PDF
AUTHORS: Mikolás Janota; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: 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
AUTHORS: Mikolás Janota; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: 
DBLP
DBLP36
TITLE: Minimal sets on propositional formulae. Problems and reductions PDF Full Text
AUTHORS: João Marques Silva ; Mikolás Janota;
PUBLISHED: 2017, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 252
AUTHORS: João Marques Silva ; Mikolás Janota;
PUBLISHED: 2017, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 252
37
TITLE: An Achilles' Heel of Term-Resolution
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
38
TITLE: Minimal sets on propositional formulae. Problems and reductions
AUTHORS: Joao Marques Silva ; Mikolás Janota; Carlos Mencía;
PUBLISHED: 2017, SOURCE: Artif. Intell., VOLUME: 252
AUTHORS: Joao Marques Silva ; Mikolás Janota; Carlos Mencía;
PUBLISHED: 2017, SOURCE: Artif. Intell., VOLUME: 252
INDEXED IN: DBLP
DBLP39
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
ORCID40
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
ORCID