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

Shaowei Cai, Xindi Zhang

• Video #1 Length : 00:01:43 on SlidesLive
• Video #2 Length : 00:10:27 on SlidesLive