Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra.

Victor Lagerkvist Magnus Wahlström

Published in: CP (2017)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint programming
non binary
np complete
constraint propagation
combinatorial problems
constraint solving
product configuration
arc consistency algorithm