CaDiCaL 3.0 (Tool Paper).

Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Andr Schidler, Dominik Schreiber, Armin Biere

Browse the full SAT paper archive.