Verification of Interdomain Routing System Based on Formal Methods
Zang, Zhiyuan, Luo, Guiming, Yin, Chongyuan
Published in Tsinghua science and technology (01.02.2009)
Published in Tsinghua science and technology (01.02.2009)
Get full text
Journal Article
Deductive reasoning and computing based on propositional logic
Guiming Luo, Chongyuan Yin
Published in 2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCICC) (01.08.2016)
Published in 2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCICC) (01.08.2016)
Get full text
Conference Proceeding
An Algorithm for Calculating the Satisfiability Degree
Guiming Luo, Chongyuan Yin, Pei Hu
Published in 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery (01.08.2009)
Published in 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery (01.08.2009)
Get full text
Conference Proceeding
Backtracking Search Algorithm for Satisfiability Degree Calculation
Chongyuan Yin, Guiming Luo, Pei Hu
Published in 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery (01.08.2009)
Published in 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery (01.08.2009)
Get full text
Conference Proceeding
Computation of Satisfiability Degree Based on CNF
Pei Hu, Guiming Luo, Chongyuan Yin
Published in 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery (01.08.2009)
Published in 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery (01.08.2009)
Get full text
Conference Proceeding