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

Shaowei Cai, Kaile Su
一月 2013
PDF DOI
类型
会议文章
出版物
Artificial Intelligence
Conf