Title: Approaches to the satisfiability problem of propositional logic
First published: 1994