Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP.

Huiwen Wang Huibiao Zhu Lili Xiao Wanling Xie Gang Lu

Published in: COMPSAC (2) (2018)

Keyphrases

constraint satisfaction problems
scheduling problem
information retrieval
computational model
real time
databases
data mining
information systems
website
constraint programming
constraint propagation
modeling language
arc consistency algorithm