SAT solving experiments in Vampire.

Armin Biere, Ioan Dragan, Laura Kovcs, Andrei Voronkov

Browse the full CADE paper archive.