163 search results - page 6 / 33 » Data structures and algorithms for simplifying reversible ci... |
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
IJAR
2007
13 years 7 months ago
2007
The use of several types of structural restrictions within algorithms for learning Bayesian networks is considered. These restrictions may codify expert knowledge in a given domai...
ICCAD
1995
IEEE
13 years 11 months ago
1995
IEEE
Implementing a built-in self-test by a "test per clock" scheme offers advantages concerning fault coverage, detection of delay faults, and test application time. Such a ...
ICCSA
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. A progressive curve representation based on reverse subdivision is introduced. This consists of three main components. First, multi-resolution structures for some common ...
SAT
2004
Springer
14 years 29 days ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...