CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability SAT 2015: 1-8

Shaowei Cai, Chuan Luo, Kaile Su
一月 2015
PDF DOI
类型
会议文章
出版物
NaN
Conf