Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Circuit Value Problem

The Circuit Value Problem (aka. the Circuit Evaluation Problem) is the computational problem of computing the output of a given Boolean circuit on a… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We present an efficient parallel algorithm for the general Monotone Circuit Value Problem (MCVP) with n gates and an underlying… Expand
2016
2016
Spira showed that any Boolean formula of size s can be simulated in depth O ( log ź s ) . We generalize Spira's theorem and show… Expand
2009
2009
Abstract.The P-complete Circuit Value Problem CVP, when restricted to monotone planar circuits MPCVP, is known to be in NC3, and… Expand
  • figure 1.1
  • table 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
2005
2005
We study the complexity of circuit-based combinatorial problems (e.g., the circuit value problem and the satisfiability problem… Expand
  • figure 1
  • figure 2
2004
2004
We give transparent proofs of the PTIME-completeness of two decision problems for terms in the λ-calculus. The first is a reproof… Expand
  • figure 1
  • figure 2
  • figure 3
2002
2002
In this paper we show that the P-complete language of yesinstances of Circuit Value Problem under a certain supplied encoding can… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
1997
1997
Abstract. A planar monotone circuit (PMC) is a Boolean circuit that can be embedded in the plane and that contains only AND and… Expand
  • figure 1
  • figure 2
  • figure 4
1996
1996
This research is motivated by the Circuit Value Problem; this problem is well known to be inherently sequential. We consider… Expand
1994
1994
A planar monotone circuit (PMC) is a Boolean circuit that can be embedded in the plane and that contains only AND and OR gates… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 4
1993
1993
A planar monotone circuit (PMC) is a Boolean circuit that can be embedded in the plane and that contains only AND and OR gates. A… Expand