The Uses of SAT Solvers in Vampire.

Giles Reger, Martin Suda

Browse the full CADE paper archive.