A. Kyrillidis, M. Vardi, and Z. Zhang, “On Continuous Local BDD-Based Search for Hybrid SAT Solving”, AAAI, vol. 35, no. 5, pp. 3841-3850, May 2021.