Chongyuan Yin, GuiMing Luo, Pei Hu. Backtracking Search Algorithm for Satisfiability Degree Calculation. In Yixin Chen, Hepu Deng, Degan Zhang, Yingyuan Xiao, editors, FSKD 2009, Sixth International Conference on Fuzzy Systems and Knowledge Discovery, Tianjin, China, 14-16 August 2009, 6 Volumes. pages 3-7, IEEE Computer Society, 2009. [doi]
Abstract is missing.