A computational study of satisfiability algorithms for propositional logic (1994)

by F Harche, J N Hooker, G Thompson
Venue:ORSA Journal on Computing