FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints (Q6330285)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints |
preprint article from arXiv
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints |
preprint article from arXiv |
Statements
2 December 2019
0 references
cs.LO
0 references
cs.IT
0 references
cs.LG
0 references
math.IT
0 references
math.OC
0 references
Anastasios Kyrillidis
0 references
Anshumali Shrivastava
0 references
Moshe Y. Vardi
0 references
Zhiwei Zhang
0 references
