Chongyuan Yin

According to our database, Chongyuan Yin authored at least 4 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Satisfiability Degree Analysis and Deductive Reasoning.

Kueiming Lo, Chongyuan Yin, Jian Luo

IEEE Intell. Syst., 2016

Deductive reasoning and computing based on propositional logic.

Guiming Luo, Chongyuan Yin

Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

2009

Backtracking Search Algorithm for Satisfiability Degree Calculation.

Chongyuan Yin, Guiming Luo, Pei Hu

Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009

Computation of Satisfiability Degree Based on CNF.

Pei Hu, Guiming Luo, Chongyuan Yin

Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009