Mikolas Janota
AuthID: R-004-VTA
31
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
32
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
DBLP33
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
ORCID34
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
ORCID35
TITLE: Quantified maximum satisfiability Full Text
AUTHORS: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: CONSTRAINTS, VOLUME: 21, ISSUE: 2
AUTHORS: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: CONSTRAINTS, VOLUME: 21, ISSUE: 2
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP IN MY: ORCID
ORCID36
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
37
TITLE: On the query complexity of selecting minimal sets for monotone predicates Full Text
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
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: Solving QBF with counterexample guided refinement
AUTHORS: Mikolás Janota; William Klieber; Joao Marques Silva ; Edmund M. Clarke;
PUBLISHED: 2016, SOURCE: Artif. Intell., VOLUME: 234
AUTHORS: Mikolás Janota; William Klieber; Joao Marques Silva ; Edmund M. Clarke;
PUBLISHED: 2016, SOURCE: Artif. Intell., VOLUME: 234
INDEXED IN: DBLP
DBLP40
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
ORCID