Kyrillidis, A.; Vardi, M.; Zhang, Z. On Continuous Local BDD-Based Search for Hybrid SAT Solving. AAAI 2021, 35, 3841-3850.