Encoding CSP into CCS (Extended Version).

Meike Hatzel Christoph Wagner Kirstin Peters Uwe Nestmann

Published in: CoRR (2015)

Keyphrases

constraint satisfaction problems
constraint programming
np hard
machine learning
search space
constraint propagation
sat encodings
databases
information systems
special case
variable length
encoding scheme