Mikolas Janota
AuthID: R-004-VTA
31
TÃTULO: An Achilles' Heel of Term-Resolution
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
32
TÃTULO: Minimal sets on propositional formulae. Problems and reductions
AUTORES: Joao Marques Silva ; Mikolás Janota; Carlos Mencía;
PUBLICAÇÃO: 2017, FONTE: Artif. Intell., VOLUME: 252
AUTORES: Joao Marques Silva ; Mikolás Janota; Carlos Mencía;
PUBLICAÇÃO: 2017, FONTE: Artif. Intell., VOLUME: 252
INDEXADO EM: 
DBLP
DBLP33
TÃTULO: On Minimal corrections in ASP
AUTORES: Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2017, FONTE: CEUR Workshop Proceedings, VOLUME: 2011
AUTORES: Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2017, FONTE: CEUR Workshop Proceedings, VOLUME: 2011
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID34
TÃTULO: On the quest for an acyclic graph
AUTORES: Mikoláš Janota; Radu Grigore; Vasco Manquinho;
PUBLICAÇÃO: 2017, FONTE: CEUR Workshop Proceedings, VOLUME: 2011
AUTORES: Mikoláš Janota; Radu Grigore; Vasco Manquinho;
PUBLICAÇÃO: 2017, FONTE: CEUR Workshop Proceedings, VOLUME: 2011
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID35
TÃTULO: Quantified maximum satisfiability Full Text
AUTORES: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: CONSTRAINTS, VOLUME: 21, NÚMERO: 2
AUTORES: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: CONSTRAINTS, VOLUME: 21, NÚMERO: 2
INDEXADO EM: Scopus 
WOS DBLP
Scopus WOS DBLP NO MEU: ORCID
ORCID36
TÃTULO: Solving QBF with counterexample guided refinement Full Text
AUTORES: Janota, M; Klieber, W; Marques Silva, J ; Clarke, E;
PUBLICAÇÃO: 2016, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 234
AUTORES: Janota, M; Klieber, W; Marques Silva, J ; Clarke, E;
PUBLICAÇÃO: 2016, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 234
37
TÃTULO: On the query complexity of selecting minimal sets for monotone predicates Full Text
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
38
TÃTULO: On Incremental Core-Guided MaxSAT Solving
AUTORES: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTORES: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
39
TÃTULO: Solving QBF with counterexample guided refinement
AUTORES: Mikolás Janota; William Klieber; Joao Marques Silva ; Edmund M. Clarke;
PUBLICAÇÃO: 2016, FONTE: Artif. Intell., VOLUME: 234
AUTORES: Mikolás Janota; William Klieber; Joao Marques Silva ; Edmund M. Clarke;
PUBLICAÇÃO: 2016, FONTE: Artif. Intell., VOLUME: 234
INDEXADO EM: DBLP
DBLP40
TÃTULO: On intervals and bounds in bit-vector arithmetic
AUTORES: Mikoláš Janota; Christoph M Wintersteiger;
PUBLICAÇÃO: 2016, FONTE: CEUR Workshop Proceedings, VOLUME: 1617
AUTORES: Mikoláš Janota; Christoph M Wintersteiger;
PUBLICAÇÃO: 2016, FONTE: CEUR Workshop Proceedings, VOLUME: 1617
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID