Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract)

Shaowei Cai, Xindi Zhang

Video #1 Length : 00:01:43
Video #2 Length : 00:10:27