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]
No references recorded for this publication.
No citations of this publication recorded.