"A Decision-Making Procedure for Resolution-Based SAT-Solvers."

Eugene Goldberg (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics