Browsing Masters Theses by Subject "ILP formulation"
Now showing items 1-1 of 1
-
MANET Cluster Optimization Using ILP/SAT Techniques
(2012-01)In recent years, there have been several improvements in the performance of Integer Linear Programming (ILP) and Boolean Satisfiability (SAT) solvers. These improvements have encouraged the modeling of complex engineering ...