World's Best Scientists 2026 revealed!
Award Badge
Computer Science
France
2025

D-Index & Metrics

Computer Science

D-Index
62
Citations
14684
World Ranking
2911
National Ranking
35

Research.com Recognitions

  • 2025 - Research.com Computer Science in France Leader Award
  • 2023 - Research.com Computer Science in France Leader Award
  • 2022 - Research.com Computer Science in France Leader Award

Overview

Joao Marques-Silva is affiliated with the Centre national de la recherche scientifique (CNRS) in France. Their research is primarily situated in the field of Computer Science, with a marked focus on Artificial Intelligence and related subfields.

Their work covers several subfields of study, including:

  • Artificial Intelligence
  • Information Systems and Management
  • Computational Theory and Mathematics
  • Computer Networks and Communications
  • Industrial and Manufacturing Engineering

Marques-Silva has contributed extensively to topics such as:

  • Explainable Artificial Intelligence (XAI)
  • Bayesian Modeling and Causal Inference
  • Machine Learning and Data Classification
  • Adversarial Robustness in Machine Learning
  • Scientific Computing and Data Management
  • Rough Sets and Fuzzy Logic
  • AI-based Problem Solving and Planning

Their frequent coauthors include:

  • Alexey Ignatiev
  • Xuanxiang Huang
  • Yacine Izza
  • Martin Cooper
  • Nina Narodytska

Marques-Silva's publications appear frequently in several venues, notably:

  • arXiv (Cornell University)
  • Proceedings of the AAAI Conference on Artificial Intelligence
  • International Journal of Approximate Reasoning
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Artificial Intelligence

Selected recent papers include:

  • "On the failings of Shapley values for explainability," 2024, International Journal of Approximate Reasoning
  • "Delivering Trustworthy AI through Formal XAI," 2022, Proceedings of the AAAI Conference on Artificial Intelligence
  • "MaxSAT-Based Bi-Objective Boolean Optimization," 2022, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • "On Explaining Decision Trees," 2020, arXiv (Cornell University)
  • "Using MaxSAT for Efficient Explanations of Tree Ensembles," 2022, Proceedings of the AAAI Conference on Artificial Intelligence

The body of Marques-Silva's work demonstrates a sustained engagement with topics related to explainability in AI, formal methods, and optimization techniques within machine learning contexts. The combination of strong theoretical contributions and practical implications is evident through their published papers and collaboration network.

Best Publications

  • GRASP: a search algorithm for propositional satisfiability

    J.P. Marques-Silva;K.A. Sakallah

  • GRASP—a new search algorithm for satisfiability

    João P. Marques Silva;Karem A. Sakallah

  • Conflict-Driven clause learning SAT solvers

    Joao Marques-Silva;Ines Lynce;Sharad Malik

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

    Lucas Cordeiro;Bernd Fischer;Joao Marques-Silva

  • PySAT: A Python Toolkit for Prototyping with SAT Oracles

    Alexey Ignatiev;Antonio Morgado;Joao Marques-Silva

  • The Impact of Branching Heuristics in Propositional Satisfiability Algorithms

    Unknown

  • Theory and Applications of Satisfiability Testing (SAT 2007)

    João Marques-Silva;Karem A. Sakallah

  • Solving QBF with counterexample guided refinement

    Mikoláš Janota;William Klieber;Joao Marques-Silva;Edmund Clarke

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

    Antonio Morgado;Federico Heras;Mark Liffiton;Jordi Planes

  • Boolean satisfiability in electronic design automation

    João P. Marques-Silva;Karem A. Sakallah

  • Algorithms for Weighted Boolean Optimization

    Vasco Manquinho;Joao Marques-Silva;Jordi Planes

  • On Computing Minimum Unsatisfiable Cores

    I. Lynce;J. P. Marques-Silva

  • Practical applications of Boolean Satisfiability

    J. Marques-Silva

  • On computing minimal correction subsets

    Joao Marques-Silva;Federico Heras;Mikolas Janota;Alessandro Previti

  • Fast, flexible MUS enumeration

    Mark H. Liffiton;Alessandro Previti;Ammar Malik;Joao Marques-Silva

  • Abduction-Based Explanations for Machine Learning Models

    Alexey Ignatiev;Nina Narodytska;Joao Marques-Silva

  • Towards robust CNF encodings of cardinality constraints

    Joao Marques-Silva;Inês Lynce

  • Algorithms for maximum satisfiability using unsatisfiable cores

    Joao Marques-Silva;Jordi Planes

  • Robust search algorithms for test pattern generation

    J.O.M. Silva;K.A. Sakallah

  • The impact of branching heuristics in propositional satisfiability algorithms

    J. Marques-Silva

  • Solving QBF with counterexample guided refinement

    Mikolás Janota;William Klieber;João Marques-Silva;João Marques-Silva;Edmund M. Clarke

  • Theory and applications of satisfiability testing - SAT 2007 : 10th International Conference, Lisbon, Portugal, May 28-31, 2007 : proceedings

    João Marques-Silva;Karem A. Sakallah

Frequent Co-Authors

Karem A. Sakallah
Karem A. Sakallah University of Michigan–Ann Arbor
Arlindo L. Oliveira
Arlindo L. Oliveira University of Lisbon
Pierre Marquis
Pierre Marquis Artois University
Sharad Malik
Sharad Malik Princeton University
Edmund M. Clarke
Edmund M. Clarke Carnegie Mellon University
Samuel R. Buss
Samuel R. Buss University of California, San Diego
Adnan Darwiche
Adnan Darwiche University of California, Los Angeles
Jeffrey O. Kephart
Jeffrey O. Kephart IBM (United States)
Alex Rogers
Alex Rogers University of Oxford
Krishnendu Chakrabarty
Krishnendu Chakrabarty Arizona State University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education can expand your opportunities in computer science and related fields. Many best online colleges offer flexible and nationally accredited programs, allowing you to learn from anywhere while balancing work or other commitments.

Degree options are diverse and cater to various career interests. Those passionate about gaming can pursue a game design online masters, building skills in graphics, animation, and storytelling. Interested in digital security? A cyber security degree provides essential knowledge to protect systems and data—an in-demand expertise.

Computer science skills are also valuable in fields like construction. For example, a construction management masters degree online equips graduates to integrate technology in project planning, safety, and operations.

Online degrees open pathways to tech-driven careers across multiple industries. As technology continues to evolve, specialized programs make it easier to tailor your education to your goals.

Best Scientists Citing Joao Marques-Silva

Trending Scientists

Recently Published Articles