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

Xindi Zhang, Zhihan Chen, Shaowei Cai
January 2024
PDF DOI
Type
Conference paper
Publication
CoRR abs
Conf