An Assume/Guarantee Based Compositional Calculus for Hybrid CSP.

Shuling Wang Naijun Zhan Dimitar P. Guelev

Published in: TAMC (2012)

Keyphrases

constraint satisfaction problems
constraint satisfaction
hybrid approaches
search space
np hard
constraint solving
real time
data sets
search algorithm
constraint programming
constraint propagation
decomposition methods
automated deduction
solving constraint satisfaction problems