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

by F Harche, J N Hooker, G L Thompson