224 search results - page 22 / 45 » Algorithms for Solving Boolean Satisfiability in Combination... |
141
click to vote
TCAD
1998
15 years 3 months ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...
130
click to vote
NC
2006
15 years 3 months ago
2006
Previously, we described ways to implement the functions AND and OR in a DNA computer consisting of microreactors with attached heating elements that control annealing of DNA. Base...
123
Voted
MJ
2007
15 years 3 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
115
Voted
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
In this paper, we address the problem of power dissipation minimization in combinational circuits implemented using pass transistor logic (PTL). We transform the problem of power ...
134
click to vote
CASC
2007
Springer
15 years 10 months ago
2007
Springer
For graphs there exist highly elaborated drawing algorithms. We concentrate here in an analogous way on visualizing relations represented as Boolean matrices as, e.g., in RelView. ...