Backtracking Search Algorithm for Satisfiability Degree Calculation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Chongyuan Yin' in GoogleThis author has not been identified. Look up 'GuiMing Luo' in GoogleThis author has not been identified. Look up 'Pei Hu' in Google

runs on WebDSL