A New Approach on Solving 3-Satisfiability.

Robert Rodosek A New Approach on Solving 3-Satisfiability. 197-212 1996 conf/aisc/1996 AISMC db/conf/aisc/aismc1996.html#Rodosek96