H. Y. Song;H. Taylor;S. W. Golomb
-;-;-
Resolution tunnels for improved SAT solver performance
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing