Backtracking Search Algorithm for Satisfiability Degree Calculation. - Yin, Chongyuan; Luo, Guiming; Hu, Pei (2009)