Articles avec mandats d'accès public - Mikoláš JanotaEn savoir plus
Non disponible : 1
Towards Learning Infinite SMT Models (Work in Progress)
M Janota, B Piotrowski, K Chvalovský
2023 25th International Symposium on Symbolic and Numeric Algorithms for …, 2023
Exigences : European Commission
Disponibles quelque part : 62
Solving QBF with counterexample guided refinement
M Janota, W Klieber, J Marques-Silva, E Clarke
Artificial Intelligence 234, 1-25, 2016
Exigences : Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
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
Exigences : Science Foundation Ireland
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
Exigences : Science Foundation Ireland
Solving QBF by Clause Selection.
M Janota, J Marques-Silva
IJCAI, 325-331, 2015
Exigences : Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
Expansion-based QBF solving versus Q-resolution
M Janota, J Marques-Silva
Theoretical Computer Science 577, 25-42, 2015
Exigences : Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
Abstraction-based algorithm for 2QBF
M Janota, J Marques-Silva
Theory and Applications of Satisfiability Testing-SAT 2011: 14th …, 2011
Exigences : Science Foundation Ireland
Proof complexity of resolution-based QBF calculi
O Beyersdorff, L Chew, M Janota
32nd International Symposium on Theoretical Aspects of Computer Science …, 2015
Exigences : Fundação para a Ciência e a Tecnologia, Portugal, UK Engineering and …
Algorithms for computing backbones of propositional formulae
M Janota, I Lynce, J Marques-Silva
Ai Communications 28 (2), 161-177, 2015
Exigences : Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
On unification of QBF resolution-based calculi
O Beyersdorff, L Chew, M Janota
Mathematical Foundations of Computer Science 2014: 39th International …, 2014
Exigences : UK Engineering and Physical Sciences Research Council
On computing backbones of propositional theories
J Marques-Silva, M Janota, I Lynce
ECAI 2010, 15-20, 2010
Exigences : Science Foundation Ireland
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
Exigences : Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
Minimal sets on propositional formulae. Problems and reductions
J Marques-Silva, M Janota, C Mencia
Artificial Intelligence 252, 22-50, 2017
Exigences : Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
On propositional QBF expansions and Q-resolution
M Janota, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2013
Exigences : Science Foundation Ireland
Quantified maximum satisfiability
A Ignatiev, M Janota, J Marques-Silva
Constraints 21, 277-302, 2016
Exigences : Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
Efficient extraction of QBF (counter) models from long-distance resolution proofs
V Balabanov, JH Jiang, M Janota, M Widl
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
Exigences : Austrian Science Fund
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
Exigences : Science Foundation Ireland
New resolution-based QBF calculi and their proof complexity
O Beyersdorff, L Chew, M Janota
ACM Transactions on Computation Theory (TOCT) 11 (4), 1-42, 2019
Exigences : Fundação para a Ciência e a Tecnologia, Portugal, UK Engineering and …
Towards efficient optimization in package management systems
A Ignatiev, M Janota, J Marques-Silva
Proceedings of the 36th International Conference on Software Engineering …, 2014
Exigences : Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
On the query complexity of selecting minimal sets for monotone predicates
M Janota, J Marques-Silva
Artificial Intelligence 233, 73-83, 2016
Exigences : Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique