A Characterization of Hard-to-cover CSPs.

Amey Bhangale Prahladh Harsha Girish Varma

Published in: Computational Complexity Conference (2015)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
search space
special case
arc consistency
database
information systems
axiomatic characterization
neural network
case study
constraint programming
non binary
sat encodings