584
click to vote
SAT
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. The VSIDS (variable state independent decaying sum) decision heuristic invented in the context of the CDCL (conflict-driven clause learning) SAT solver Chaff, is consid...
111
click to vote
SAT
2015
Springer
9 years 11 months ago
2015
Springer
A simple yet successful approach to parallel satisfiability (SAT) solving is to run several different (a portfolio of) SAT solvers on the input problem at the same time until one...
133
click to vote
CAV
2015
Springer
9 years 11 months ago
2015
Springer
We propose a flexible exchange format for ω-automata, as typically used in formal verification, and implement support for it in a range of established tools. Our aim is to simpl...