Folgen
Mikoláš Janota
Mikoláš Janota
CTU Prague
Bestätigte E-Mail-Adresse bei cvut.cz - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Solving QBF with counterexample guided refinement
M Janota, W Klieber, J Marques-Silva, E Clarke
Artificial Intelligence 234, 1-25, 2016
3252016
On Computing Minimal Correction Subsets.
J Marques-Silva, F Heras, M Janota, A Previti, A Belov
IJCAI 13, 615-622, 2013
2112013
Minimal sets over monotone predicates in boolean formulae
J Marques-Silva, M Janota, A Belov
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1152013
Solving QBF by Clause Selection.
M Janota, J Marques-Silva
IJCAI, 325-331, 2015
1022015
Expansion-based QBF solving versus Q-resolution
M Janota, J Marques-Silva
Theoretical Computer Science 577, 25-42, 2015
962015
Playing with Quantified Satisfaction.
NS Bjørner, M Janota
LPAR (short papers) 35, 15-27, 2015
932015
Abstraction-based algorithm for 2QBF
M Janota, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2011
892011
Reasoning about feature models in higher-order logic
M Janota, J Kiniry
11th International Software Product Line Conference (SPLC 2007), 13-22, 2007
852007
Proof complexity of resolution-based QBF calculi
O Beyersdorff, L Chew, M Janota
32nd International Symposium on Theoretical Aspects of Computer Science …, 2015
842015
Algorithms for computing backbones of propositional formulae
M Janota, I Lynce, J Marques-Silva
Ai Communications 28 (2), 161-177, 2015
772015
Do SAT solvers make good configurators?
M Janota
SPLC (2), 191-195, 2008
752008
On unification of QBF resolution-based calculi
O Beyersdorff, L Chew, M Janota
Mathematical Foundations of Computer Science 2014: 39th International …, 2014
692014
Formal approach to integrating feature and architecture models
M Janota, G Botterweck
International Conference on Fundamental Approaches to Software Engineering …, 2008
662008
Efficient model based diagnosis with maximum satisfiability
J Marques-Silva, M Janota, A Ignatiev, A Morgado
International Joint Conference on Artificial Intelligence 2015, 1966-1972, 2015
622015
SAT solving in interactive configuration
M Janota
University College Dublin, 2010
612010
On computing backbones of propositional theories
J Marques-Silva, M Janota, I Lynce
ECAI 2010, 15-20, 2010
592010
Quantified boolean formulas
O Beyersdorff, M Janota, F Lonsing, M Seidl
Handbook of Satisfiability, 1177-1221, 2021
552021
A design of a configurable feature model configurator
G Botterweck, M Janota, D Schneeweiss
University of Limerick, 2009
532009
Towards generalization in QBF solving via machine learning
M Janota
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
482018
Model construction with external constraints: An interactive journey from semantics to syntax
M Janota, V Kuzina, A Wąsowski
Model Driven Engineering Languages and Systems: 11th International …, 2008
472008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20