Resolution Tunnels for Improved SAT Solver Performance.

Michal Kouril, John V. Franco

Browse the full SAT paper archive.