Scoring Functions Based on Second Level Score for k-SAT with Long Clauses J. Artif. Intell. Res. 51: 413-441 (2014)

Shaowei Cai, Chuan Luo, Kaile Su
一月 2014
PDF DOI
类型
会议文章
出版物
JAIR
Conf