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
January 2014
PDF DOI
Type
Conference paper
Publication
JAIR
Conf