Coherent SAT Solvers: a tutorial

SAM REIFENSTEIN, TIMOTHEE LELEU, TIMOTHY MCKENNA, MARC JANKOWSKI, MYOUNG-GYUN SUH, EDWIN NG, FARAD KHOYRATEE, ZOLTAN TOROCZKAI, YOSHIHISA YAMAMOTO
Adv. Opt. Photon
https://arxiv.org/abs/2210.00638