Trace and Stable Failures Semantics for CSP-Agda.

Bashar Igried Anton Setzer

Published in: CoALP-Ty (2016)

Keyphrases

constraint satisfaction problems
formal semantics
constraint satisfaction
np hard
logic programming
operational semantics
semantic information
conceptual model
constraint propagation
constraint networks
failure rate
tree decomposition