Mikolas Janota
AuthID: R-004-VTA
71
TITLE: On Computing Minimal Equivalent Subformulas
AUTHORS: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 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
AUTHORS: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 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
72
TITLE: On Unit-Refutation Complete Formulae with Existentially Quantified Variables
AUTHORS: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLISHED: 2012, SOURCE: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 in Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
AUTHORS: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLISHED: 2012, SOURCE: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 in Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: 
ORCID
ORCID73
TITLE: QBF-Based Boolean Function Bi-Decomposition
AUTHORS: Chen, H; Janota, M; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
AUTHORS: Chen, H; Janota, M; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
INDEXED IN: 
WOS DBLP
WOS DBLP IN MY: ORCID
ORCID74
TITLE: PackUp: Tools for Package Upgradability Solving PDF
AUTHORS: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLISHED: 2012, SOURCE: JSAT, VOLUME: 8, ISSUE: 1/2
AUTHORS: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLISHED: 2012, SOURCE: JSAT, VOLUME: 8, ISSUE: 1/2
INDEXED IN: DBLP
DBLP75
TITLE: QBf-based boolean function bi-decomposition
AUTHORS: Huan Chen; Janota, M; Marques-Silva, J;
PUBLISHED: 2012, SOURCE: 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
AUTHORS: Huan Chen; Janota, M; Marques-Silva, J;
PUBLISHED: 2012, SOURCE: 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
76
TITLE: cmMUS: A Tool for Circumscription-Based MUS Membership Testing Full Text
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
77
TITLE: Abstraction-Based Algorithm for 2QBF
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
78
TITLE: On Deciding MUS Membership with QBF
AUTHORS: Mikolás Janota; João P Marques Silva ;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Mikolás Janota; João P Marques Silva ;
PUBLISHED: 2011, SOURCE: 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
79
TITLE: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
AUTHORS: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
AUTHORS: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
80
TITLE: On Computing Backbones of Propositional Theories
AUTHORS: Joao Marques Silva ; Mikolas Janota; Ines Lynce ;
PUBLISHED: 2010, SOURCE: 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
AUTHORS: Joao Marques Silva ; Mikolas Janota; Ines Lynce ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: ORCID
ORCID