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