Elimination of k-Sat Clauses in the k-Satisfiability Problem.

Eric Humbert Elimination of k-Sat Clauses in the k-Satisfiability Problem. 145-156 1995 WOCFAI db/conf/wocfai/wocfai1995.html#Humbert95