Migrating Solver State.

Armin Biere, Md. Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, Michael W. Whalen

Browse the full SAT paper archive.