SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers.

Norbert Manthey, Marius Lindauer

Browse the full SAT paper archive.