[1]
Kyrillidis, A., Vardi, M. and Zhang, Z. 2021. On Continuous Local BDD-Based Search for Hybrid SAT Solving. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 5 (May 2021), 3841-3850.