Computation of Satisfiability Degree Based on CNF. - Pei Hu; Guiming Luo; Chongyuan Yin (FSKD (6), 2009)

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

Deductive reasoning and computing based on propositional logic. - Guiming Luo; Chongyuan Yin (ICCI*CC, 2016)

Satisfiability Degree Analysis and Deductive Reasoning. - Kueiming Lo; Chongyuan Yin; Jian Luo 003 (IEEE Intell. Syst., 2016)