Clause States Based Configuration Checking in Local Search for Satisfiability IEEE Trans. Cybern. 45(5): 1014-1027 (2015)

Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu
一月 2015
PDF DOI
类型
会议文章
出版物
IEEE Transactions on Cybernetics
Conf