Improving CDCL via Local Search

Xindi Zhang, Shaowei Cai, Zhihan Chen
January 2021
Type
Conference paper
Publication
SAT COMPETITION 2021
Conf