March-eq - Implementing additional reasoning into efficient look-ahead SAT solver
M.J.H. Heule (TU Delft - Old - EWI Ch. Optimization Technology)
M Dufour (External organisation)
JE van Zwieten (External organisation)
H. van Maaren (TU Delft - Software Technology)
More Info
expand_more
Abstract
This paper discusses several techniques to make the look- ahead architecture for satisfiability (Sat) solvers more competitive. Our contribution consists of reduction of the computational costs to perform look-ahead and a cheap integration of both equivalence reasoning and local learning. Most proposed techniques are illustrated with experimental results of their implementation in our solver march_eq.
No files available
Metadata only record. There are no files for this record.