A Simple Test Improves Checking Satisfiability.

Eliezer L. Lozinskii A Simple Test Improves Checking Satisfiability. 99-111 1993 15 J. Log. Program. 1&2 db/journals/jlp/jlp15.html#Lozinskii93