עקוב אחר
Mikoláš Janota
Mikoláš Janota
CTU Prague
כתובת אימייל מאומתת בדומיין cvut.cz - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Solving QBF with counterexample guided refinement‏
M Janota, W Klieber, J Marques-Silva, E Clarke‏
Artificial Intelligence 234, 1-25, 2016‏
3212016
On computing minimal correction subsets‏
J Marques-Silva, F Heras, M Janota, A Previti, A Belov‏
Twenty-Third International Joint Conference on Artificial Intelligence, 2013‏
2062013
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‏
1132013
Solving QBF by Clause Selection.‏
M Janota, J Marques-Silva‏
IJCAI, 325-331, 2015‏
1032015
Expansion-based QBF solving versus Q-resolution‏
M Janota, J Marques-Silva‏
Theoretical Computer Science 577, 25-42, 2015‏
952015
Playing with Quantified Satisfaction.‏
NS Bjørner, M Janota‏
LPAR (short papers) 35, 15-27, 2015‏
892015
Abstraction-based algorithm for 2QBF‏
M Janota, J Marques-Silva‏
Theory and Applications of Satisfiability Testing-SAT 2011: 14th …, 2011‏
872011
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‏
832015
Algorithms for computing backbones of propositional formulae‏
M Janota, I Lynce, J Marques-Silva‏
Ai Communications 28 (2), 161-177, 2015‏
762015
Do SAT solvers make good configurators?‏
M Janota‏
SPLC (2), 191-195, 2008‏
732008
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
SAT solving in interactive configuration‏
M Janota‏
University College Dublin, 2010‏
602010
On computing backbones of propositional theories‏
J Marques-Silva, M Janota, I Lynce‏
ECAI 2010, 15-20, 2010‏
602010
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‏
582015
A design of a configurable feature model configurator‏
G Botterweck, M Janota, D Schneeweiss‏
University of Limerick, 2009‏
572009
Quantified boolean formulas‏
O Beyersdorff, M Janota, F Lonsing, M Seidl‏
Handbook of Satisfiability, 1177-1221, 2021‏
532021
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
Towards generalization in QBF solving via machine learning‏
M Janota‏
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018‏
462018
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20