João Marques‐Silva

Statistics

Publications

126

Citations

6.5K

H-Index

Active since

1994

Affiliations

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(Current)

University of Lisbon

University College Dublin

Institut de Recherche en Informatique de Toulouse

Centre National de la Recherche Scientifique

João Marques‐Silva is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in computer science, computing, and algorithms.

ORCID

Publications per year

1994–2025

126

Publications

126

GRASP: a search algorithm for propositional satisfiability

João Marques‐Silva, Karem A. Sakallah · IEEE Transactions on Computers · 1999 · 1.4K citations

Computing, Computer Science, Algorithms +16

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

Lucas C. Cordeiro, Bernd Fischer, João Marques‐Silva · 2009 · 200 citations

Computing, Computer Engineering, Computer Science +9

Abduction-Based Explanations for Machine Learning Models

Alexey Ignatiev, Nina Narodytska, João Marques‐Silva · 2019 · 187 citations

Computing, Computer Science, Artificial Intelligence +13

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

António Morgado, Federico Heras, Mark H. Liffiton et al. · Constraints · 2013 · 167 citations

Computing, Computer Science, Algorithms +10

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

Lucas C. Cordeiro, Bernd Fischer, João Marques‐Silva · IEEE Transactions on Software Engineering · 2011 · 153 citations

Computing, Computer Engineering, Computer Science +9

1–5 of 126