A SAT-Based Approach for SDN Rule Table Distribution.

Ryota Ogasawara Masayuki Arai

Published in: PRDC (2018)

Keyphrases

data distribution
search algorithm
random variables
probability distribution
search strategies
active databases
max sat
variable ordering
database
neural network
constraint programming
satisfiability problem
spatial distribution
uniformly distributed
rule discovery