João Marques Silva

2017
Janota, M., & Marques-Silva J. (2017).  An Achilles’ Heel of Term-Resolution. Portuguese Conference on Artificial Intelligence. 670–680.
Ignatiev, A., Morgado A., Marques-Silva J., & RAS ISDCT. S. B. (2017).  Cardinality encodings for graph optimization problems. International Joint Conference on Artificial Intelligence (IJCAI).
Cruz-Filipe, L., Marques-Silva J., & Schneider-Kamp P. (2017).  Efficient certified resolution proof checking. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 118–135.
Saber, T., Marques-Silva J., Thorburn J., & Ventresque A. (2017).  Exact and hybrid solutions for the multi-objective VM reassignment problem. International Journal on Artificial Intelligence Tools. 26, 1760004.
Marques-Silva, J., Ignatiev A., & Morgado A. (2017).  Horn Maximum Satisfiability: Reductions, Algorithms & Applications. arXiv preprint arXiv:1705.05335.
Marques-Silva, J. (2017).  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. 10491, 184.
Peñaloza, R., Mencía C., Ignatiev A., & Marques-Silva J. (2017).  Lean Kernels in Description Logics. European Semantic Web Conference. 518–533.
Marques-Silva, J., Janota M., & Mencía C. (2017).  Minimal sets on propositional formulae. Problems and reductions. Artificial Intelligence. 252, 22–50.
Ignatiev, A., Morgado A., & Marques-Silva J. (2017).  Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. arXiv preprint arXiv:1707.01972.
Ignatiev, A., Morgado A., & Marques-Silva J. (2017).  On Tackling the Limits of Resolution in SAT Solving. arXiv preprint arXiv:1705.01477.
2016
M Arif, F., Mencía C., Ignatiev A., Manthey N., Peñaloza R., & Marques-Silva J. (2016).  BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies. International Conference on Theory and Applications of Satisfiability Testing. 521–530.
Marques-Silva, J., Ignatiev A., Mencía C., & Peñaloza R. (2016).  Efficient reasoning for inconsistent horn formulae. European Conference on Logics in Artificial Intelligence. 336–352.
Ignatiev, A., Previti A., & Marques-Silva J. (2016).  On Finding Minimum Satisfying Assignments. International Conference on Principles and Practice of Constraint Programming. 287–297.
Ignatiev, A., Morgado A., Planes J., & Marques-Silva J. (2016).  Maximal falsifiability. AI Communications. 29, 351–370.
Mencía, C., Ignatiev A., Previti A., & Marques-Silva J. (2016).  MCS extraction with sublinear oracle queries. International Conference on Theory and Applications of Satisfiability Testing. 342–360.
Ignatiev, A., Morgado A., & Marques-Silva J. (2016).  Propositional Abduction with Implicit Hitting Sets. arXiv preprint arXiv:1604.08229.
Ignatiev, A., Janota M., & Marques-Silva J. (2016).  Quantified maximum satisfiability. Constraints. 21, 277–302.
Janota, M., & Marques-Silva J. (2016).  On the query complexity of selecting minimal sets for monotone predicates. Artificial Intelligence. 233, 73–83.
Janota, M., Klieber W., Marques-Silva J., & Clarke E. (2016).  Solving QBF with counterexample guided refinement. Artificial Intelligence. 234, 1–25.