A Semantically Based Proof System for Partial Correctness and Deadlock in CSP

Stephen D. Brookes

Published in: LICS (1986)

Keyphrases

constraint satisfaction problems
modal logic
constraint satisfaction
clause learning
semantic information
arc consistency
natural language
decomposition methods
tree decomposition
maintaining arc consistency
constraint programming
constraint propagation
constraint solving