Home

Primary tabs

2018
Narodytska, N., A. Ignatiev, F. Pereira, J. Marques-Silva, and ISDCT. S. B. RAS, "Learning Optimal Decision Trees with SAT.", IJCAI, pp. 1362–1368, 2018.
Bonet, M. Luisa, S. Buss, A. Ignatiev, J. Marques-Silva, and A. Morgado, MaxSAT Resolution with the Dual Rail Encoding, , 2018.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "PySAT: A Python Toolkit for Prototyping with SAT Oracles", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 428–437, 2018.
Ignatiev, A., F. Pereira, N. Narodytska, and J. Marques-Silva, "A SAT-based approach to learn explainable decision sets", International Joint Conference on Automated Reasoning: Springer, pp. 627–645, 2018.
2017
Janota, M., and J. Marques-Silva, "An Achilles’ Heel of Term-Resolution", Portuguese Conference on Artificial Intelligence: Springer, pp. 670–680, 2017.
Ignatiev, A., A. Morgado, J. Marques-Silva, and ISDCT. S. B. RAS, "Cardinality encodings for graph optimization problems", International Joint Conference on Artificial Intelligence (IJCAI), 2017.
Cruz-Filipe, L., J. Marques-Silva, and P. Schneider-Kamp, "Efficient certified resolution proof checking", International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Springer, pp. 118–135, 2017.
Saber, T., J. Marques-Silva, J. Thorburn, and A. Ventresque, "Exact and hybrid solutions for the multi-objective VM reassignment problem", International Journal on Artificial Intelligence Tools, vol. 26, no. 01: World Scientific, pp. 1760004, 2017.
Marques-Silva, J., A. Ignatiev, and A. Morgado, "Horn Maximum Satisfiability: Reductions, Algorithms & Applications", arXiv preprint arXiv:1705.05335, 2017.
Marques-Silva, J., "Improving MCS Enumeration via Caching", Theory and Applications of Satisfiability Testing–SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28–September 1, 2017, Proceedings, vol. 10491: Springer, pp. 184, 2017.
Peñaloza, R., C. Mencía, A. Ignatiev, and J. Marques-Silva, "Lean Kernels in Description Logics", European Semantic Web Conference: Springer, pp. 518–533, 2017.
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.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets", arXiv preprint arXiv:1707.01972, 2017.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "On Tackling the Limits of Resolution in SAT Solving", arXiv preprint arXiv:1705.01477, 2017.
2016
M Arif, F., C. Mencía, A. Ignatiev, N. Manthey, R. Peñaloza, and J. Marques-Silva, "BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 521–530, 2016.
Marques-Silva, J., A. Ignatiev, C. Mencía, and R. Peñaloza, "Efficient reasoning for inconsistent horn formulae", European Conference on Logics in Artificial Intelligence: Springer, pp. 336–352, 2016.
Ignatiev, A., A. Previti, and J. Marques-Silva, "On Finding Minimum Satisfying Assignments", International Conference on Principles and Practice of Constraint Programming: Springer, pp. 287–297, 2016.
Ignatiev, A., A. Morgado, J. Planes, and J. Marques-Silva, "Maximal falsifiability", AI Communications, vol. 29, no. 2: IOS Press, pp. 351–370, 2016.
Mencía, C., A. Ignatiev, A. Previti, and J. Marques-Silva, "MCS extraction with sublinear oracle queries", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 342–360, 2016.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "Propositional Abduction with Implicit Hitting Sets", arXiv preprint arXiv:1604.08229, 2016.
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.
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.