On sketching approximations for symmetric Boolean CSPs.
Joanna BoylandMichael HwangTarun PrasadNoah SingerSanthoshini VelusamyPublished in: Electron. Colloquium Comput. Complex. (2022)
Keyphrases
- constraint satisfaction problems
- decision diagrams
- constraint propagation
- constraint satisfaction
- boolean functions
- real valued
- arc consistency
- boolean queries
- non binary
- closed form
- efficient computation
- tree decomposition
- neural network
- hypertree decomposition
- boolean logic
- constraint networks
- approximation methods
- backtracking algorithm
- sketch recognition
- np complete
- distributed constraint satisfaction problems
- data sets
- solving constraint satisfaction problems