(1)
Kyrillidis, A.; Shrivastava, A.; Vardi, M.; Zhang, Z. FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. AAAI 2020, 34, 1552-1560.