Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus.

Dimitar P. Guelev Shuling Wang Naijun Zhan

Published in: SETTA (2017)

Keyphrases

constraint satisfaction problems
constraint propagation
constraint satisfaction
hybrid approaches
qualitative spatial
constraint networks
decomposition methods
sat encodings
computational complexity
constraint programming
hybrid learning
spatial reasoning
constraint graph