Extended Resolution Simulates DRAT.

Benjamin Kiesl, Adrin Rebola-Pardo, Marijn J. H. Heule

Browse the full CADE paper archive.