Combining SAT Methods with Non-Clausal Decision Heuristics1
Under a Creative Commons license
open access
Keywords
satisfiability modulo theories
Boolean satisfiability
non-clausal
decision heuristics
CVC Lite
Cited by (0)
- 1
This research was supported by a grant from Intel Corporation. The content of this paper does not necessarily reflect the position or the policy of Intel.
Copyright © 2005 Elsevier B.V.