Relaxed Backtracking with Rephasing

Xindi Zhang, Shaowei Cai
January 2020
PDF
Type
Journal article
Publication
Proceedings of SAT competition
Journal