Publications

Export 6 results:
Filters: Author is Janota, Mikoláš  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Janota, M., and J. Marques-Silva, "An Achilles’ Heel of Term-Resolution", Portuguese Conference on Artificial Intelligence: Springer, pp. 670–680, 2017.
I
Si, X., X. Zhang, V. Manquinho, M. Janota, A. Ignatiev, and M. Naik, "On incremental core-guided maxsat solving", International Conference on Principles and Practice of Constraint Programming: Springer, pp. 473–482, 2016.
M
Marques-Silva, J., M. Janota, and C. Mencía, "Minimal sets on propositional formulae. Problems and reductions", Artificial Intelligence, vol. 252: Elsevier, pp. 22–50, 2017.
Q
Ignatiev, A., M. Janota, and J. Marques-Silva, "Quantified maximum satisfiability", Constraints, vol. 21, no. 2: Springer, pp. 277–302, 2016.
Janota, M., and J. Marques-Silva, "On the query complexity of selecting minimal sets for monotone predicates", Artificial Intelligence, vol. 233: Elsevier, pp. 73–83, 2016.
S
Janota, M., W. Klieber, J. Marques-Silva, and E. Clarke, "Solving QBF with counterexample guided refinement", Artificial Intelligence, vol. 234: Elsevier, pp. 1–25, 2016.