151
click to vote
FLOPS
2010
Springer
16 years 18 days ago
2010
Springer
A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is su...