Local search for Boolean Satisfiability with configuration checking and subscore Artif. Intell. 204: 75-98 (2013)

Shaowei Cai, Kaile Su
January 2013
PDF DOI
Type
Conference paper
Publication
Artificial Intelligence
Conf