Mikolas Janota
AuthID: R-004-VTA
81
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
82
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
83
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
84
TITLE: On Computing Backbones of Propositional Theories
AUTHORS: Marques Silva, J ; Janota, M; Lynce, I ;
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: Marques Silva, J ; Janota, M; Lynce, I ;
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
85
TITLE: How to Complete an Interactive Configuration Process?
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLISHED: 2010, SOURCE: 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
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLISHED: 2010, SOURCE: 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
86
TITLE: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription PDF
AUTHORS: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1006.5896
AUTHORS: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1006.5896
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv87
TITLE: How to Complete an Interactive Configuration Process? Configuring as Shopping
AUTHORS: Janota, M; Botterweck, G; Grigore, R; Marques Silva, J;
PUBLISHED: 2010, SOURCE: SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 5901
AUTHORS: Janota, M; Botterweck, G; Grigore, R; Marques Silva, J;
PUBLISHED: 2010, SOURCE: SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 5901
INDEXED IN: 
WOS
WOS IN MY: 
ORCID
ORCID88
TITLE: Algorithms for finding dispensable variables PDF
AUTHORS: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.0013
AUTHORS: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.0013
INDEXED IN: DBLP arXiv
DBLP arXiv89
TITLE: How to Complete an Interactive Configuration Process? PDF
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3913
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3913
INDEXED IN: DBLP arXiv
DBLP arXiv90
TITLE: CLOPS: A DSL for command line options
AUTHORS: Mikoláš Janota; Fintan Fairmichael; Viliam Holub; Radu Grigore; Julien Charles; Dermot Cochran; Joseph R Kiniry;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5658 LNCS
AUTHORS: Mikoláš Janota; Fintan Fairmichael; Viliam Holub; Radu Grigore; Julien Charles; Dermot Cochran; Joseph R Kiniry;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5658 LNCS
INDEXED IN: 
Scopus
Scopus IN MY: ORCID
ORCID