Satisfiability of commutative vs. non-commutative CSPs.

Andrei A. Bulatov Stanislav Zivný

Published in: CoRR (2024)

Keyphrases

constraint satisfaction problems
np complete
symmetry breaking
neural network
computational complexity
search space
special case
constraint satisfaction
sat problem
database
genetic algorithm
learning algorithm
propositional logic
non binary
sat encodings