Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs.

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

Keyphrases

automatic construction
computer programs
information technology
database languages
bayesian networks
objective function
data structure
constraint satisfaction problems
constraint satisfaction
constraint programming
black box