248 search results - page 1 / 50 » Circuit-based Boolean Reasoning |
SAT
2009
Springer
13 years 11 months ago
2009
Springer
State-of-the-art solvers for Quantified Boolean Formulas (QBF) have employed many techniques from the field of Boolean Satisfiability (SAT) including the use of Conjunctive Norm...
ACSD
2004
IEEE
13 years 8 months ago
2004
IEEE
The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
CAD
2002
Springer
13 years 4 months ago
2002
Springer
A reasoning Boolean operation based CAD modeling approach applied to construct heterogeneous material objects is presented. This reasoning Boolean operation consists of a merging ...
SAT
2007
Springer
13 years 10 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
ICCD
2004
IEEE
2004
IEEE
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation
14 years 1 months ago
In this paper we discuss the application of circuit-based logical reasoning to simplify optimization problems expressed as integer linear programs (ILP) over circuit states. We de...