Follow
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. (arXiv:1912.01032v1 [cs.LO]) http://arxiv.org/abs/1912.01032
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. (arXiv:1912.01032v1 [cs.LO]) http://arxiv.org/abs/1912.01032