Combinatorial Gap Theorem and Reductions between Promise CSPs.

Libor Barto Marcin Kozik

Published in: CoRR (2021)

Keyphrases

constraint satisfaction problems
constraint satisfaction
search space
arc consistency
constraint propagation
von neumann
neural network
real time
data structure
control system
special case
np complete
sat encodings