SAT-Based Complete Don't-Care Computation for Network Optimization

Alan Mishchenko Robert K. Brayton

Published in: CoRR (2007)

Keyphrases

optimization algorithm
answer set programming
network model
network structure
peer to peer
optimization method
complex networks
communication networks
optimization process
global optimization
network architecture
optimization model