Effective Preprocessing with Hyper-Resolution and Equality Reduction.

Fahiem Bacchus, Jonathan Winter

Browse the full SAT paper archive.