D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 54 Citations 9,931 228 World Ranking 2332 National Ranking 41

Overview

What is he best known for?

The fields of study he is best known for:

  • Algorithm
  • Programming language
  • Artificial intelligence

Joao Marques-Silva mostly deals with Algorithm, Satisfiability, Boolean satisfiability problem, Theoretical computer science and Maximum satisfiability problem. His Algorithm research includes themes of Solver, Key and Counterexample. His work carried out in the field of Satisfiability brings together such families of science as Set, Constraint satisfaction, State and Enumeration.

His studies deal with areas such as #SAT, Electronic design automation, Combinational logic, Range and Computation as well as Boolean satisfiability problem. The study incorporates disciplines such as Boolean function and Computational problem in addition to Theoretical computer science. His Maximum satisfiability problem research is multidisciplinary, incorporating perspectives in Identification, Core, Iterative method, Sequential logic and Optimization problem.

His most cited work include:

  • GRASP: a search algorithm for propositional satisfiability (1141 citations)
  • Conflict-driven clause learning SAT solvers (229 citations)
  • Theory and Applications of Satisfiability Testing (SAT 2007) (138 citations)

What are the main themes of his work throughout his whole career to date?

His main research concerns Algorithm, Theoretical computer science, Boolean satisfiability problem, Satisfiability and Maximum satisfiability problem. His research integrates issues of Range and Set in his study of Algorithm. In his research on the topic of Theoretical computer science, Combinational logic is strongly related with Electronic design automation.

His study on Boolean satisfiability problem also encompasses disciplines like

  • #SAT that connect with fields like Formal equivalence checking,
  • Model checking together with Software. He carries out multidisciplinary research, doing studies in Satisfiability and DPLL algorithm. Within one scientific family, he focuses on topics pertaining to Solver under Maximum satisfiability problem, and may sometimes address concerns connected to Preprocessor.

He most often published in these fields:

  • Algorithm (51.35%)
  • Theoretical computer science (42.91%)
  • Boolean satisfiability problem (36.15%)

What were the highlights of his more recent work (between 2016-2021)?

  • Theoretical computer science (42.91%)
  • Artificial intelligence (7.09%)
  • Range (11.82%)

In recent papers he was focusing on the following fields of study:

His scientific interests lie mostly in Theoretical computer science, Artificial intelligence, Range, Maximum satisfiability problem and Boolean satisfiability problem. His Theoretical computer science research includes elements of Inference and Enumeration. As a member of one scientific family, Joao Marques-Silva mostly works in the field of Artificial intelligence, focusing on Machine learning and, on occasion, Heuristic, Transparency and Succinctness.

His Maximum satisfiability problem study is related to the wider topic of Algorithm. His studies in Algorithm integrate themes in fields like Encoding and Exponential function. He interconnects Computational complexity theory, Implementation and Satisfiability modulo theories in the investigation of issues within Boolean satisfiability problem.

Between 2016 and 2021, his most popular works were:

  • PySAT: A Python Toolkit for Prototyping with SAT Oracles (51 citations)
  • Learning Optimal Decision Trees with SAT. (35 citations)
  • Abduction-Based Explanations for Machine Learning Models (32 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algorithm
  • Artificial intelligence

His primary areas of study are Artificial intelligence, Maximum satisfiability problem, Boolean satisfiability problem, Proof complexity and Machine learning. His research on Maximum satisfiability problem concerns the broader Algorithm. His biological study spans a wide range of topics, including Python, Programming language and Implementation.

His work investigates the relationship between Proof complexity and topics such as Resolution that intersect with problems in Conjunctive normal form, Pigeonhole principle, Polynomial, Computer-assisted proof and Conjecture. His work carried out in the field of Machine learning brings together such families of science as Range and Heuristic. Joao Marques-Silva has included themes like Predicate and Tracing in his Theoretical computer science study.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

GRASP: a search algorithm for propositional satisfiability

J.P. Marques-Silva;K.A. Sakallah.
IEEE Transactions on Computers (1999)

1788 Citations

Conflict-driven clause learning SAT solvers

Joao Marques-Silva;Ines Lynce;Sharad Malik.
Handbook of Satisfiability (2009)

405 Citations

Theory and Applications of Satisfiability Testing (SAT 2007)

João Marques-Silva;Karem A. Sakallah.
(2007)

214 Citations

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 (2012)

188 Citations

On Computing Minimum Unsatisfiable Cores

I. Lynce;J. P. Marques-Silva.
theory and applications of satisfiability testing (2004)

170 Citations

Boolean satisfiability in electronic design automation

João P. Marques-Silva;Karem A. Sakallah.
design automation conference (2000)

169 Citations

Algorithms for Weighted Boolean Optimization

Vasco Manquinho;Joao Marques-Silva;Jordi Planes.
theory and applications of satisfiability testing (2009)

158 Citations

On computing minimal correction subsets

Joao Marques-Silva;Federico Heras;Mikolas Janota;Alessandro Previti.
international joint conference on artificial intelligence (2013)

154 Citations

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

Antonio Morgado;Federico Heras;Mark Liffiton;Jordi Planes.
Constraints - An International Journal (2013)

153 Citations

Practical applications of Boolean Satisfiability

J. Marques-Silva.
international workshop on discrete event systems (2008)

150 Citations

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

Contact us

Best Scientists Citing Joao Marques-Silva

Rolf Drechsler

Rolf Drechsler

University of Bremen

Publications: 74

Armin Biere

Armin Biere

Johannes Kepler University of Linz

Publications: 58

Karem A. Sakallah

Karem A. Sakallah

University of Michigan–Ann Arbor

Publications: 45

Torsten Schaub

Torsten Schaub

University of Potsdam

Publications: 39

Bernd Becker

Bernd Becker

University of Freiburg

Publications: 39

Stefan Szeider

Stefan Szeider

TU Wien

Publications: 34

Michael S. Hsiao

Michael S. Hsiao

Virginia Tech

Publications: 34

Sharad Malik

Sharad Malik

Princeton University

Publications: 32

Martin Gebser

Martin Gebser

University of Klagenfurt

Publications: 29

Masahiro Fujita

Masahiro Fujita

University of Tokyo

Publications: 28

Robert Wille

Robert Wille

Johannes Kepler University of Linz

Publications: 26

Fahiem Bacchus

Fahiem Bacchus

University of Toronto

Publications: 24

Peter J. Stuckey

Peter J. Stuckey

Monash University

Publications: 23

Igor L. Markov

Igor L. Markov

Facebook (United States)

Publications: 22

Prabhat Mishra

Prabhat Mishra

University of Florida

Publications: 22

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 18

Something went wrong. Please try again later.