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

Shaowei Cai, Chuan Luo, Kaile Su
January 2015
PDF DOI
Type
Conference paper
Publication
NaN
Conf