A. Kyrillidis, A. Shrivastava, M. Vardi, and Z. Zhang, “FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints”, AAAI, vol. 34, no. 02, pp. 1552-1560, Apr. 2020.