Relaxed Backtracking with Rephasing

Xindi Zhang, Shaowei Cai
一月 2020
PDF
类型
期刊文章
出版物
Proceedings of SAT competition
Journal