Faster LRAT Checking Than Solving with CaDiCaL.

Florian Pollitt, Mathias Fleury, Armin Biere

Browse the full SAT paper archive.