Mikoláš Janota
Mikoláš Janota
Assistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of Lisbon
Email confirmado em sat.inesc-id.pt - Página inicial
TítuloCitado porAno
Solving QBF with counterexample guided refinement
M Janota, W Klieber, J Marques-Silva, E Clarke
International Conference on Theory and Applications of Satisfiability …, 2012
1502012
On Computing Minimal Correction Subsets.
J Marques-Silva, F Heras, M Janota, A Previti, A Belov
IJCAI, 615-622, 2013
1102013
Reasoning about feature models in higher-order logic
M Janota, J Kiniry
Software Product Line Conference, 2007. SPLC 2007. 11th International, 13-22, 2007
762007
Abstraction-based algorithm for 2QBF
M Janota, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2011
642011
Minimal sets over monotone predicates in boolean formulae
J Marques-Silva, M Janota, A Belov
International Conference on Computer Aided Verification, 592-607, 2013
562013
Proof complexity of resolution-based QBF calculi
O Beyersdorff, L Chew, M Janota
LIPI Symposium on Theoretical Aspects of Computer Science (STACS'15) 30, 76-89, 2015
522015
Formal approach to integrating feature and architecture models
M Janota, G Botterweck
International Conference on Fundamental Approaches to Software Engineering …, 2008
512008
Do SAT solvers make good configurators?
M Janota
SPLC (2), 191-195, 2008
502008
Solving QBF with counterexample guided refinement
M Janota, W Klieber, J Marques-Silva, E Clarke
Artificial Intelligence 234, 1-25, 2016
492016
Solving QBF by Clause Selection.
M Janota, J Marques-Silva
IJCAI, 325-331, 2015
482015
On Computing Backbones of Propositional Theories.
J Marques-Silva, M Janota, I Lynce
ECAI 215, 15-20, 2010
452010
A design of a configurable feature model configurator
G Botterweck, M Janota, D Schneeweiss
452009
Expansion-based QBF solving versus Q-resolution
M Janota, J Marques-Silva
Theoretical Computer Science 577, 25-42, 2015
432015
On unification of QBF resolution-based calculi
O Beyersdorff, L Chew, M Janota
International Symposium on Mathematical Foundations of Computer Science, 81-93, 2014
422014
SAT solving in interactive configuration
M Janota
University College Dublin, 2010
422010
Model construction with external constraints: An interactive journey from semantics to syntax
M Janota, V Kuzina, A Wąsowski
International Conference on Model Driven Engineering Languages and Systems …, 2008
372008
On propositional QBF expansions and Q-resolution
M Janota, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2013
352013
Algorithms for computing backbones of propositional formulae
M Janota, I Lynce, J Marques-Silva
Ai Communications 28 (2), 161-177, 2015
332015
How to complete an interactive configuration process?
M Janota, G Botterweck, R Grigore, J Marques-Silva
SOFSEM 2010: Theory and Practice of Computer Science, 528-539, 2010
302010
Reachability analysis for annotated code
M Janota, R Grigore, M Moskal
Proceedings of the 2007 conference on Specification and verification of …, 2007
272007
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20