CaDiCaL 2.0.

Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Browse the full CAV paper archive.