Kyrillidis, Anastasios, Moshe Vardi, and Zhiwei Zhang. 2021. “On Continuous Local BDD-Based Search for Hybrid SAT Solving”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (5):3841-50. https://doi.org/10.1609/aaai.v35i5.16502.