41
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
INDEXADO EM: DBLP
42
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
INDEXADO EM: Scopus
NO MEU: ORCID
43
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
INDEXADO EM: Scopus WOS CrossRef: 14
NO MEU: ORCID
44
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
INDEXADO EM: Scopus
NO MEU: ORCID
45
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 26 Unpaywall
NO MEU: ORCID
46
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
INDEXADO EM: Scopus
NO MEU: ORCID
47
TÍTULO: Expansion-based QBF solving versus Q-resolution  Full Text
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 577, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID
48
TÍTULO: Quantified maximum satisfiability  Full Text
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: Constraints
INDEXADO EM: CrossRef Unpaywall
NO MEU: ORCID
49
TÍTULO: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
50
TÍTULO: Solving QBF by Clause Selection
AUTORES: Mikolás Janota; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 5 de 10. Total de resultados: 99.