Retracing the Semantics of CSP.

Stephen D. Brookes

Published in: 25 Years Communicating Sequential Processes (2004)

Keyphrases

constraint satisfaction problems
formal semantics
semantic information
database
computational complexity
np hard
logic programming
operational semantics
tree decomposition
knowledge base
lower bound
constraint propagation
arc consistency
default reasoning
argumentation semantics