An analytic semantics of CSP.

Published in: Fundam. Informaticae (1991)

Keyphrases

constraint satisfaction problems
constraint satisfaction
formal semantics
np complete
constraint programming
arc consistency
semantic representation
database
data sets
knowledge base
object oriented
logic programming
default reasoning