Concepedia

Circuit Evaluation Problem

The Circuit Evaluation Problem is a computational decision problem that, given a Boolean circuit and a specific input assignment, determines whether the circuit outputs true under that assignment, thereby formalizing the task of evaluating the functionality of a circuit as a standard problem in computational complexity theory.

36

Publications

1.9K

Citations

88

Authors

45

Institutions

Publications per year

2017–2026

4

Variants

Boolean Circuit Evaluation Problem

Parents

Publications

36

The circuit value problem is log space complete for <i>P</i>

Richard E. Ladner · ACM SIGACT News · 1975 · 306 citations

, , +5

Anaconda: simulation-based synthesis of analog circuits via stochastic pattern search

R. Phelps, M. Krasnicki, Rob A. Rutenbar et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2000 · 304 citations

, , +16

Efficient private bidding and auctions with an oblivious third party

Christian Cachin · 1999 · 269 citations · Full text

, , +14

Multiparty Homomorphic Encryption from Ring-Learning-with-Errors

Christian Mouchet, Juan Ramón Troncoso-Pastoriza, Jean-Philippe Bossuat et al. · Proceedings on Privacy Enhancing Technologies · 2021 · 124 citations · Full text

, , +14

Incremental evaluation of computational circuits

Bowen Alpern, Roger Hoover, Barry K. Rosen et al. · Symposium on Discrete Algorithms · 1990 · 107 citations

, , +12

1–5 of 36

Authors

88

  1. EA
    Eric Allender

    Rutgers, The State University of New Jersey, United States

    3 publications · 121 citations

    3

    h-index

  2. MB
    Martin Beaudry

    McGill University, Canada

    2 publications · 44 citations

    2

    h-index

  3. MK
    Michal Koucký

    Czech Academy of Sciences, Institute of Mathematics, Czechia

    2 publications · 77 citations

    2

    h-index

  4. SB
    Sadeghyan Babak

    Amirkabir University of Technology, Iran

    1 publications · 10 citations

    1

    h-index

  5. JR
    Juan Ramón Troncoso-Pastoriza

    École Polytechnique Fédérale de Lausanne, Switzerland

    1 publications · 124 citations

    1

    h-index

1–5 of 88

Institutions

45

  1. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    7 publications

    1.3K citations

  2. Rutgers, The State University of New Jersey

    New Brunswick, United States

    3 h-index

    3 publications

    121 citations

  3. University of Massachusetts Amherst

    Amherst Center, United States

    2 h-index

    3 publications

    68 citations

  4. University of Würzburg

    Würzburg, Germany

    1 h-index

    5 publications

    55 citations

  5. University of Washington

    Seattle, United States

    1 h-index

    1 publications

    306 citations

  6. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    1 h-index

    4 publications

    496 citations

  7. Amirkabir University of Technology

    Tehran, Iran

    1 h-index

    2 publications

    20 citations

  8. Institute of Electronics, Computer and Telecommunication Engineering

    Turin, Italy

    1 h-index

    2 publications

    26 citations

1–8 of 45

Venues

  1. SIAM Journal on Computing

    3 publications · 80 citations

    3

    h-index

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

    Repository · 1 publications · 15 citations

    1

    h-index

  3. Theory of Computing Systems

    1 publications · 11 citations

    1

    h-index

  4. Journal of Computer and System Sciences

    1 publications · 44 citations

    1

    h-index

  5. 1

    h-index

1–5