A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations.

Published in: CoRR (2024)

Keyphrases

constraint satisfaction problems
constraint satisfaction
computational complexity
np complete
theorem prover
theorem proving
decomposition methods
data sets
information retrieval
bayesian networks
constraint programming
constraint propagation