3 search results - page 1 / 1 » Strong conflict analysis for propositional satisfiability |
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
FORMATS
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
FMCAD
2004
Springer
13 years 8 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...