Login / Signup
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints.
Anastasios Kyrillidis
Anshumali Shrivastava
Moshe Y. Vardi
Zhiwei Zhang
Published in:
AAAI (2020)
Keyphrases
</>
frequency domain
combinatorial optimization
global constraints
boolean constraints