SAT-FLOW: Multi-Strategy Flow Table Management for Software Defined Satellite Networks.

Taixin Li Huachun Zhou Hongbin Luo Ilsun You Qi Xu

Published in: IEEE Access (2017)

Keyphrases

flow patterns
database
software systems
search strategy
search strategies
satisfiability problem
flow network
configuration management
boolean satisfiability
network design
software design
sat solvers
network structure
test cases
data processing
source code
management system
social networks