Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems.

Daniel Bryce Sergiy Bogomolov Alexander Heinz Christian Schilling

Published in: CoRR (2016)

Keyphrases

weighted max sat
np complete
solving complex
mathematical programming
problems involving
peer to peer
complex networks
combinatorial optimization
solving problems
globally optimal solutions
genetic algorithm
network flow problem
max sat
quality of service
wireless networks
wireless sensor networks
np hard