Concepedia

Unsatisfiability

Unsatisfiability is the property of a propositional formula for which no truth assignment to its variables satisfies the formula, distinguishing it from satisfiable formulas that admit at least one satisfying assignment.

182

Publications

9.7K

Citations

335

Authors

201

Institutions

Publications per year

2017–2026

19

Parents

Publications

182

Analytic and Algorithmic Solution of Random Satisfiability Problems

Marc Mézard, Giorgio Parisi, Riccardo Zecchina · Science · 2002 · 1.1K citations · Full text

, , +17

Many hard examples for resolution

Vašek Chvátal, Endre Szemerédi · Journal of the ACM · 1988 · 445 citations · Full text

, , +11

Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints

Mark H. Liffiton, Karem A. Sakallah · Journal of Automated Reasoning · 2007 · 328 citations

, , +9

Using the Groebner basis algorithm to find proofs of unsatisfiability

Matthew Clegg, Jeffery Edmonds, Russell Impagliazzo · 1996 · 275 citations · Full text

, , +7

A Threshold for Unsatisfiability

Andreas Goerdt · Journal of Computer and System Sciences · 1996 · 240 citations

, , +2

1–5 of 182

Authors

335

  1. JM
    João Marques‐Silva

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

    11 publications · 485 citations

    11

    h-index

  2. DA
    Dimitris Achlioptas

    Microsoft (United States), United States

    7 publications · 533 citations

    7

    h-index

  3. CM
    Cristopher Moore

    Santa Fe Institute, United States

    5 publications · 137 citations

    5

    h-index

  4. SS
    Stefan Szeider

    TU Wien, Austria

    5 publications · 224 citations

    5

    h-index

  5. OK
    Oliver Kullmann

    Swansea University, United Kingdom

    5 publications · 209 citations

    5

    h-index

1–5 of 335

Institutions

201

  1. Microsoft (United States)

    Redmond, United States

    11 h-index

    11 publications

    602 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    24 publications

    3.8K citations

  3. University College Dublin

    Dublin, Ireland

    6 h-index

    9 publications

    311 citations

  4. University of Patras

    Pátrai, Greece

    5 h-index

    8 publications

    529 citations

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

    Lisbon, Portugal

    5 h-index

    10 publications

    485 citations

  6. Université de Picardie Jules Verne

    Amiens, France

    5 h-index

    7 publications

    247 citations

  7. University of Toronto

    Toronto, Canada

    5 h-index

    8 publications

    273 citations

  8. Centre de Recherche en Informatique

    Fontainebleau, France

    4 h-index

    5 publications

    151 citations

1–8 of 201

Venues

  1. Random Structures and Algorithms

    8 publications · 422 citations

    8

    h-index

  2. Journal of the ACM

    JACM · 6 publications · 687 citations

    6

    h-index

  3. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 5 publications · 157 citations

    5

    h-index

  4. Combinatorics Probability Computing

    4 publications · 93 citations

    4

    h-index

  5. Discrete Applied Mathematics

    4 publications · 169 citations

    4

    h-index

1–5