On Sketching Approximations for Symmetric Boolean CSPs.
Joanna BoylandMichael HwangTarun PrasadNoah SingerSanthoshini VelusamyPublished in: APPROX/RANDOM (2022)
Keyphrases
- constraint satisfaction problems
- decision diagrams
- boolean functions
- constraint satisfaction
- arc consistency
- real valued
- constraint networks
- constraint propagation
- efficient computation
- non binary
- search algorithm
- approximation methods
- hypertree decomposition
- boolean logic
- constraint graph
- boolean queries
- tree decomposition
- symmetry breaking
- constraint programming
- search space