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
January 2015
PDF DOI
Type
Conference paper
Publication
IEEE Transactions on Cybernetics
Conf