Kyrillidis, A., Vardi, M., & Zhang, Z. (2021). On Continuous Local BDD-Based Search for Hybrid SAT Solving. Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), 3841-3850. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/16502