TY  - RPRT
TI  - FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints
AU  - Anastasios Kyrillidis
AU  - Anshumali Shrivastava
AU  - Moshe Y. Vardi
AU  - Zhiwei Zhang
PY  - 2020
UR  - https://arxiv.org/abs/1912.01032
ID  - 1912.01032
ER  -