A Calculus for Hybrid CSP.

Jiang Liu Jidong Lv Zhao Quan Naijun Zhan Hengjun Zhao Chaochen Zhou Liang Zou

Published in: APLAS (2010)

Keyphrases

constraint satisfaction problems
neural network
decomposition methods
constraint satisfaction
hybrid approaches
real time
computer algebra
databases
learning algorithm
knowledge base
evolutionary algorithm
np complete
constraint propagation
solving constraint satisfaction problems