1.
Kyrillidis A, Shrivastava A, Vardi M, Zhang Z. FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. AAAI [Internet]. 2020Apr.3 [cited 2022Jan.24];34(02):1552-60. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/5515