Deep Cooperation of CDCL and Local Search for SAT

Shaowei Cai, Xindi Zhang
January 2021
PDF DOI
Type
Conference paper
Publication
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings 24
Conf