Combinatorial Gap Theorem and Reductions between Promise CSPs.

Libor Barto Marcin Kozik

Published in: SODA (2022)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
solving constraint satisfaction problems
search space
non binary
von neumann
digital topology
hypertree decomposition
arc consistency
soft constraints
forward checking