Simplify, Order, Break, Repeat.

Markus Anders, Cayden R. Codel, Marijn J. H. Heule

Browse the full SAT paper archive.