Mikolas Janota
AuthID: R-004-VTA
61
TÃTULO: Minimal Sets over Monotone Predicates in Boolean Formulae
AUTORES: João Marques Silva ; Mikolás Janota; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 25th International Conference on Computer Aided Verification, CAV 2013 in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, VOLUME: 8044
AUTORES: João Marques Silva ; Mikolás Janota; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 25th International Conference on Computer Aided Verification, CAV 2013 in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, VOLUME: 8044
62
TÃTULO: Solving QBF with Free Variables
AUTORES: Klieber, W; Janota, M; Marques Silva, J ; Clarke, E;
PUBLICAÇÃO: 2013, FONTE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124
AUTORES: Klieber, W; Janota, M; Marques Silva, J ; Clarke, E;
PUBLICAÇÃO: 2013, FONTE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124
63
TÃTULO: On Computing Minimal Correction Subsets
AUTORES: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
AUTORES: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: 
ORCID
ORCID64
TÃTULO: On QBF Proofs and Preprocessing
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
65
TÃTULO: On Propositional QBF Expansions and Q-Resolution
AUTORES: Mikolás Janota; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 20
AUTORES: Mikolás Janota; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 20
INDEXADO EM: DBLP
DBLP66
TÃTULO: Quantified Maximum Satisfiability:
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
Unpaywall
Unpaywall67
TÃTULO: On QBF Proofs and Preprocessing PDF
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.2491
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.2491
INDEXADO EM: DBLP 
arXiv
DBLP arXiv68
TÃTULO: QBf-based Boolean function bi-decomposition PDF
AUTORES: Chen, H; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: 15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012 in Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: abs/1112.2313
AUTORES: Chen, H; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: 15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012 in Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: abs/1112.2313
INDEXADO EM: Scopus DBLP arXiv
Scopus DBLP arXiv NO MEU: ORCID
ORCID69
TÃTULO: Solving QBF with Counterexample Guided Refinement
AUTORES: Mikolás Janota; William Klieber; João Marques Silva ; Edmund M Clarke;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317
AUTORES: Mikolás Janota; William Klieber; João Marques Silva ; Edmund M Clarke;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317
70
TÃTULO: On Computing Minimal Equivalent Subformulas
AUTORES: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 in Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, VOLUME: 7514
AUTORES: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 in Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, VOLUME: 7514
