Strongly refuting all semi-random Boolean CSPs.

Jackson Abascal Venkatesan Guruswami Pravesh K. Kothari

Published in: SODA (2021)

Keyphrases

constraint satisfaction problems
constraint satisfaction
search space
decision diagrams
real valued
solving constraint satisfaction problems
binary csps
non binary
data sets
optimal solution
special case
constraint propagation
symmetry breaking