The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms.

Tamás Kátay László Márton Tóth Zoltán Vidnyánszky

Published in: CoRR (2023)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
artificial intelligence
logic programs
np complete
constraint programming
modal logic
tree decomposition
sat encodings
tree decompositions