A Characterization of Hard-to-Cover CSPs.

Amey Bhangale Prahladh Harsha Girish Varma

Published in: Theory Comput. (2020)

Keyphrases

constraint satisfaction problems
constraint satisfaction
search space
database
constraint propagation
arc consistency
solving constraint satisfaction problems
data sets
neural network
genetic algorithm
search algorithm
temporal constraints
constraint networks
tree decomposition
hypertree decomposition