Finite complete suites for CSP refinement testing.

Jan Peleska Wen-ling Huang Ana Cavalcanti

Published in: Sci. Comput. Program. (2019)

Keyphrases

np hard
constraint satisfaction problems
np complete
scheduling problem
constraint programming
machine learning
hidden markov models
constraint satisfaction
constraint propagation
software testing
data sets
search engine
arc consistency
tree decompositions