1795 search results - page 57 / 359 » On the Complexity of Circuit Satisfiability |
CSL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
Functional decomposition is a process of splitting a complex circuit into smaller sub-circuits. This paper deals with the problem of determining the set of best free and bound var...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
The growing impact of within-die process variation has created the need for statistical timing analysis, where gate delays are modeled as random variables. Statistical timing anal...
HOST
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
BC
1999
13 years 8 months ago
1999
The essential dynamics of some biological central pattern generators (CPGs) can be captured by a model consisting of x neurons connected in a ring. These circuits, like many oscill...