Nondeterministic Functions and the Semantics of CSP.

Published in: Programming Languages and Their Definition (1984)

Keyphrases

constraint satisfaction problems
arc consistency
database
data sets
logic programming
np complete
logic programs
semantic information
constraint programming
formal semantics
finite automata