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:
CoRR (2019)
Keyphrases
</>
boolean constraints
radon transform
np hard
relational databases
evolutionary algorithm
frequency domain