Modeling and Verifying the Ballooning in Xen with CSP.

Luyao Wang Fengwei Sui Yanhong Huang Huibiao Zhu

Published in: HASE (2015)

Keyphrases

constraint satisfaction problems
data sets
genetic algorithm
search algorithm
constraint satisfaction
real time
machine learning
learning algorithm
search space
modeling language
constraint networks
modeling method
arc consistency algorithm