2 search results - page 1 / 1 » Managing Don't Cares in Boolean Satisfiability |
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representat...
FOIKS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...