1795 search results - page 47 / 359 » On the Complexity of Circuit Satisfiability |
ACSD
2010
IEEE
13 years 6 months ago
2010
IEEE
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environm...
ISSAC
2009
Springer
14 years 3 months ago
2009
Springer
We show that detecting real roots for honestly n-variate (n + 2)-nomials (with integer exponents and coefficients) can be done in time polynomial in the sparse encoding for any ...
ICCAD
2003
IEEE
14 years 5 months ago
2003
IEEE
This paper presents an efficient method to reduce complexities of a linear network in s-domain. The new method works on circuit matrices directly and reduces the circuit complexi...
EH
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents a detailed technical description of a large-scale evolvable hardware system for evolving complex digital circuits directly in silicon at high speed. The core o...
COCO
2007
Springer
14 years 19 days ago
2007
Springer
We prove new results on the circuit complexity of Approximate Majority, which is the problem of computing Majority of a given bit string whose fraction of 1's is bounded away...