Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions |
scientific article |
Statements
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (English)
0 references
2 November 2021
0 references
SAT solving
0 references
multilinear optimization
0 references
Fourier analysis on Boolean functions
0 references
Walsh-Hadamard transform
0 references
0 references
0 references
0 references
0 references
