Login / Signup
Kernelization of Constraint Satisfaction Problems: A Study through Universal Algebra.
Victor Lagerkvist
Magnus Wahlström
Published in:
CoRR (2017)
Keyphrases
</>
constraint satisfaction problems
constraint satisfaction
constraint propagation
np complete
constraint programming
search space
data model
decomposition methods
query language
arc consistency
combinatorial problems
path consistency
computational problems