3 search results - page 1 / 1 » Strong conflict analysis for propositional satisfiability |
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
188
Voted
FORMATS
2004
Springer
15 years 11 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...
208
click to vote
FMCAD
2004
Springer
15 years 11 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...