Chongyuan Yin

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Topics

First Order Logic

Deductive Reasoning

Quantified Boolean Formulae

Top Venues

IEEE Intell. Syst.

Publications

Kueiming Lo, Chongyuan Yin, Jian Luo
Satisfiability Degree Analysis and Deductive Reasoning. IEEE Intell. Syst. 31 (4) (2016)
Guiming Luo, Chongyuan Yin
Deductive reasoning and computing based on propositional logic. ICCI*CC (2016)
Chongyuan Yin, Guiming Luo, Pei Hu
Backtracking Search Algorithm for Satisfiability Degree Calculation. FSKD (2) (2009)
Pei Hu, Guiming Luo, Chongyuan Yin
Computation of Satisfiability Degree Based on CNF. FSKD (6) (2009)