Concepedia

Circuit Satisfiability

Circuit Satisfiability is the computational decision problem that determines whether there exists a boolean assignment to the inputs of a given combinational logic circuit such that the output evaluates to true, distinguishing it as a canonical NP-complete problem in circuit complexity theory.

278

Publications

13.6K

Citations

542

Authors

225

Institutions

Publications per year

2017–2026

26

Variants

Csat

Parents

Publications

278

Evaluating the security of logic encryption algorithms

Pramod Subramanyan, Sayak Ray, Sharad Malik · 2015 · 772 citations

, , +13

Noise strategies for improving local search

Bart Selman, Henry Kautz, Brain Cohen · 1994 · 761 citations

, , +14

Planar Formulae and Their Uses

David Lichtenstein · SIAM Journal on Computing · 1982 · 754 citations

, , +13

Using CSP look-back techniques to solve real-world SAT instances

Roberto J. Bayardo, Robert Schrag · 1997 · 598 citations

, , +15

Combinational test generation using satisfiability

Paul R. Stephan, Robert K. Brayton, Alberto Sangiovanni‐Vincentelli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1996 · 327 citations

, , +14

1–5 of 278

Authors

542

  1. RD
    Rolf Drechsler

    University of Bremen, Germany

    16 publications · 451 citations

    13

    h-index

  2. KA
    Karem A. Sakallah

    University of Michigan, United States

    10 publications · 535 citations

    10

    h-index

  3. SM
    Sharad Malik

    Princeton University, United States

    10 publications · 1.3K citations

    10

    h-index

  4. KC
    Kwang‐Ting Cheng

    University of California, Santa Barbara, United States

    9 publications · 337 citations

    9

    h-index

  5. JM
    João Marques‐Silva

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

    9 publications · 364 citations

    9

    h-index

1–5 of 542

Institutions

225

  1. University of Michigan

    Ann Arbor, United States

    12 h-index

    33 publications

    1.7K citations

  2. Princeton University

    Princeton, United States

    12 h-index

    35 publications

    4K citations

  3. University of Bremen

    Bremen, Germany

    12 h-index

    41 publications

    1.1K citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    11 h-index

    17 publications

    678 citations

  5. University of California, Berkeley

    Berkeley, United States

    11 h-index

    25 publications

    1.8K citations

  6. University of Toronto

    Toronto, Canada

    10 h-index

    22 publications

    625 citations

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

    Lisbon, Portugal

    9 h-index

    18 publications

    569 citations

  8. University of California, Santa Barbara

    Santa Barbara, United States

    9 h-index

    26 publications

    987 citations

1–8 of 225

Venues

  1. 11

    h-index

  2. Design, Automation, and Test in Europe

    Conference · 6 publications · 179 citations

    6

    h-index

  3. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 6 publications · 136 citations

    6

    h-index

  4. 4

    h-index

  5. Journal of Computer and System Sciences

    4 publications · 85 citations

    4

    h-index

1–5