Mikolas Janota
AuthID: R-004-VTA
71
TÃTULO: QBF-Based Boolean Function Bi-Decomposition
AUTORES: Chen, H; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
AUTORES: Chen, H; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
INDEXADO EM: 
WOS 
DBLP
WOS DBLP NO MEU: 
ORCID
ORCID72
TÃTULO: PackUp: Tools for Package Upgradability Solving PDF
AUTORES: Mikolás Janota; Inês Lynce; Vasco M. Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JSAT, VOLUME: 8, NÚMERO: 1/2
AUTORES: Mikolás Janota; Inês Lynce; Vasco M. Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JSAT, VOLUME: 8, NÚMERO: 1/2
INDEXADO EM: DBLP
DBLP73
TÃTULO: QBf-based boolean function bi-decomposition
AUTORES: Huan Chen; Janota, M; Marques-Silva, J;
PUBLICAÇÃO: 2012, FONTE: 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
AUTORES: Huan Chen; Janota, M; Marques-Silva, J;
PUBLICAÇÃO: 2012, FONTE: 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
74
TÃTULO: cmMUS: A Tool for Circumscription-Based MUS Membership Testing Full Text
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
75
TÃTULO: Abstraction-Based Algorithm for 2QBF
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
76
TÃTULO: On Deciding MUS Membership with QBF
AUTORES: Mikolás Janota; João P Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 17th International Conference on Principles and Practice of Constraint Programming, CP 2011 in Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, VOLUME: 6876
AUTORES: Mikolás Janota; João P Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 17th International Conference on Principles and Practice of Constraint Programming, CP 2011 in Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, VOLUME: 6876
77
TÃTULO: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
AUTORES: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
AUTORES: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
78
TÃTULO: On Computing Backbones of Propositional Theories
AUTORES: Joao Marques Silva ; Mikolas Janota; Ines Lynce ;
PUBLICAÇÃO: 2010, FONTE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
AUTORES: Joao Marques Silva ; Mikolas Janota; Ines Lynce ;
PUBLICAÇÃO: 2010, FONTE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
INDEXADO EM: 
Scopus WOS DBLP
Scopus WOS DBLP NO MEU: ORCID
ORCID79
TÃTULO: How to Complete an Interactive Configuration Process?
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 in SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, VOLUME: 5901
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 in SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, VOLUME: 5901
80
TÃTULO: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription PDF
AUTORES: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1006.5896
AUTORES: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1006.5896
INDEXADO EM: DBLP 
arXiv
DBLP arXiv