Deep Cooperation of CDCL and Local Search for SAT

Shaowei Cai, Xindi Zhang
January 2021
PDF DOI
Type
Conference paper
Publication
SAT 2021
Conf