Concepedia

Satisfiability

Satisfiability is the property of a propositional formula whereby there exists at least one truth assignment to its variables that makes the formula evaluate to true.

2.1K

Publications

120.8K

Citations

3.1K

Authors

980

Institutions

Publications per year

2017–2026

362

Parents

Publications

2.1K

Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming

Michel X. Goemans, David P. Williamson · Journal of the ACM · 1995 · 3.7K citations · Full text

, , +14

The complexity of satisfiability problems

Thomas J. Schaefer · 1978 · 1.8K citations · Full text

, , +12

Proof verification and the hardness of approximation problems

Sanjeev Arora, Carsten Lund, Rajeev Motwani et al. · Journal of the ACM · 1998 · 1.4K citations · Full text

, , +14

GRASP: a search algorithm for propositional satisfiability

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

, , +16

A new method for solving hard satisfiability problems

Bart Selman, Hector J. Levesque, David G. M. Mitchell · 1992 · 1.2K citations

, , +14

1–5 of 2.1K

Authors

3.1K

  1. JM
    João Marques‐Silva

    Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Portugal

    53 publications · 3.5K citations

    29

    h-index

  2. RD
    Rolf Drechsler

    University of Bremen, Germany

    43 publications · 1.7K citations

    24

    h-index

  3. KA
    Karem A. Sakallah

    University of Michigan, United States

    32 publications · 3.3K citations

    23

    h-index

  4. RW
    Robert Wille

    Johannes Kepler University of Linz, Austria

    26 publications · 1.2K citations

    21

    h-index

  5. SM
    Sharad Malik

    Princeton University, United States

    22 publications · 2.4K citations

    19

    h-index

1–5 of 3.1K

Institutions

980

  1. Centre National de la Recherche Scientifique

    Paris, France

    36 h-index

    161 publications

    11.7K citations

  2. University of California, Berkeley

    Berkeley, United States

    34 h-index

    133 publications

    12.3K citations

  3. University of Toronto

    Toronto, Canada

    30 h-index

    88 publications

    7.2K citations

  4. Princeton University

    Princeton, United States

    28 h-index

    99 publications

    9K citations

  5. Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

    Lisbon, Portugal

    26 h-index

    73 publications

    4.6K citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    26 h-index

    67 publications

    3.6K citations

  7. University of Michigan

    Ann Arbor, United States

    25 h-index

    90 publications

    6.3K citations

  8. University of Bremen

    Bremen, Germany

    25 h-index

    152 publications

    5.7K citations

1–8 of 980

Venues

  1. 25

    h-index

  2. arXiv (Cornell University)

    Repository · 63 publications · 2K citations

    24

    h-index

  3. Journal of Artificial Intelligence Research

    JAIR · 33 publications · 1.7K citations

    23

    h-index

  4. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 43 publications · 1.7K citations

    23

    h-index

  5. Artificial Intelligence

    25 publications · 2.3K citations

    22

    h-index

1–5