Revisiting Restarts of CDCL: Should the Search Information be Preserved?

Xindi Zhang, Zhihan Chen, Shaowei Cai
一月 2024
PDF DOI
类型
会议文章
出版物
CoRR abs
Conf