Mikolas Janota
AuthID: R-004-VTA
41
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
ORCID42
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
43
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
44
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
45
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
DBLP46
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
ORCID47
TÃTULO: On Q-Resolution and CDCL QBF Solving
AUTORES: Janota, M;
PUBLICAÇÃO: 2016, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
AUTORES: Janota, M;
PUBLICAÇÃO: 2016, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
48
TÃTULO: Extension variables in QBF resolution
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2016, FONTE: AAAI Workshop - Technical Report, VOLUME: WS-16-01 - WS-16-15
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2016, FONTE: AAAI Workshop - Technical Report, VOLUME: WS-16-01 - WS-16-15
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID49
TÃTULO: Algorithms for computing backbones of propositional formulae Full Text
AUTORES: Janota, M; Lynce, I ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
AUTORES: Janota, M; Lynce, I ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
50
TÃTULO: Proof complexity of resolution-based QBF calculi
AUTORES: Beyersdorff, O; Chew, L; Janota, M;
PUBLICAÇÃO: 2015, FONTE: 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 30
AUTORES: Beyersdorff, O; Chew, L; Janota, M;
PUBLICAÇÃO: 2015, FONTE: 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 30
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID