Better Decision Heuristics in CDCL through Local Search and Target Phases J. Artif. Intell. Res. 74: 1515-1563 (2022)

Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere
一月 2022
PDF DOI
类型
会议文章
出版物
Journal of Artificial Intelligence Research
Conf