Experiments with Reduction Finding.

Charles Jordan, Lukasz Kaiser

Browse the full SAT paper archive.