Resolution Tunnels for Improved SAT Solver Performance (2005)

by Michal Kouril, John Franco
Venue:In Proc. of 8th International Conference on Theory and Applications of Satisfiability Testing