西南交通大学教师主页 Xingxing He--Home-- Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He*: Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE 2017: 1-5

Current position: Home > Research > Paper Publications

Paper Publications

Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He*: Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE 2017: 1-5

Translation or Not:no

Pre One:Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He: Some synergized clause selection strategies for contradiction separation based automated deduction. ISKE 2017: 1-6

Next One:Qinghua Liu, Yang Xu, Xingxing He*: New terms metric based on substitutions. ISKE 2017: 1-6

Xingxing He

Alma Mater:Southwest Jiaotong University School/Department:数学学院 Business Address:Intelligent Control Development Center, Southwest Jiaotong University,Chengdu 610031, Sichuan, PR China

Home

Research

Teaching

Receive Honor

Awards and Honours

Enrollment

Student Information

My Album

Blog

Paper Publications

Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He*: Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE 2017: 1-5