João Marques‐Silva

Research interests

Publications

• On the failings of Shapley values for explainability

  International Journal of Approximate Reasoning · 2024 · https://doi.org/10.1016/j.ijar.2023.109112

• Delivering Trustworthy AI through Formal XAI

  Proceedings of the AAAI Conference on Artificial Intelligence · 2022 · 10.1609/aaai.v36i11.21499

• Abduction-Based Explanations for Machine Learning Models

  AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI)) · 2019 · https://doi.org/10.1609/aaai.v33i01.33011511

• RC2: an Efficient MaxSAT Solver

  Journal on Satisfiability Boolean Modeling and Computation · 2019 · 10.3233/sat190116

• PySAT: A Python Toolkit for Prototyping with SAT Oracles

  Lecture notes in computer science · 2018 · 10.1007/978-3-319-94144-8_26

• Learning Optimal Decision Trees with SAT

  · 2018 · 10.24963/ijcai.2018/189

• Solving QBF with counterexample guided refinement

  Artificial Intelligence · 2016 · 10.1016/j.artint.2016.01.004

• Fast, flexible MUS enumeration

  Constraints · 2015 · 10.1007/s10601-015-9183-0

• Algorithms for computing backbones of propositional formulae

  AI Communications · 2015 · 10.3233/aic-140640

• Core-Guided MaxSAT with Soft Cardinality Constraints

  Lecture notes in computer science · 2014 · 10.1007/978-3-319-10428-7_41

• On computing minimal correction subsets

  International Joint Conference on Artificial Intelligence · 2013

• Iterative and core-guided MaxSAT solving: A survey and assessment

  Constraints · 2013 · https://doi.org/10.1007/s10601-013-9146-2

• Solving QBF with Counterexample Guided Refinement

  Lecture notes in computer science · 2012 · 10.1007/978-3-642-31612-8_10

• SMT-Based Bounded Model Checking for Embedded ANSI-C Software

  IEEE Transactions on Software Engineering · 2011 · https://doi.org/10.1109/tse.2011.59

• SMT-Based Bounded Model Checking for Embedded ANSI-C Software

  Journal · 2009 · https://doi.org/10.1109/ase.2009.63

• Algorithms for Weighted Boolean Optimization

  Lecture notes in computer science · 2009 · 10.1007/978-3-642-02777-2_45

• Conflict-Driven Clause Learning SAT Solvers

  Frontiers in artificial intelligence and applications · 2009 · 10.3233/978-1-58603-929-5-131

• Practical applications of Boolean Satisfiability

  · 2008 · 10.1109/wodes.2008.4605925

• Algorithms for maximum satisfiability using unsatisfiable cores

  · 2008 · 10.1145/1403375.1403474

• Theory and Applications of Satisfiability Testing – SAT 2007

  Lecture notes in computer science · 2007 · 10.1007/978-3-540-72788-0

• Towards Robust CNF Encodings of Cardinality Constraints

  Lecture notes in computer science · 2007 · 10.1007/978-3-540-74970-7_35

• On Computing Minimum Unsatisfiable Cores

  ePrints Soton (University of Southampton) · 2004

• Boolean satisfiability in electronic design automation

  · 2000 · 10.1145/337292.337611

• The Impact of Branching Heuristics in Propositional Satisfiability Algorithms

  Lecture notes in computer science · 1999 · 10.1007/3-540-48159-1_5

• GRASP: a search algorithm for propositional satisfiability

  IEEE Transactions on Computers · 1999 · https://doi.org/10.1109/12.769433

Current projects

No projects listed.