Browsing by Author "eba7da46-3985-4600-95c3-ff383e63be28"
Now showing items 1-1 of 1
-
MANET Cluster Optimization Using ILP/SAT Techniques
Zahidi, Syed Zohaib Hussain (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 ...