A Master of Science thesis in Computer Engineering by Syed Zohaib Hussain Zahidi entitled, "Manet Cluster Optimization Using ILP/SAT Techniques," submitted in January 2012. Thesis advisor is Dr. Fadi Ahmed Aloul and co-advisor is Dr. Assim Sagahyroon. Available are both soft and hard copies of the thesis.
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 problems as ILP problems. These engineering problems are diverse in nature and include genetics, optimization of power consumption, scheduling, cryptography, and more. One such problem is the "-clustering problem' in Mobile Ad-Hoc Networks (MANETs). The clustering problem in MANETs consists of selecting the most suitable nodes of a given MANET topology as clusterheads and ensuring that regular nodes are connected to clusterheads in such a way that the network lifetime is maximized. This thesis focuses on assessing the performance of state-of-the art generic ILP and 0-1 SAT-based ILP solvers in solving ILP formulations of the clustering problem. The thesis consists of four parts. The first part of this thesis consists of improving the existing ILP formulations of the clustering problem. The second part involves enhancing the ILP formulation of the clustering problem through the addition of intra-cluster communication, coverage constraints and multihop links. The third part focuses on the development of an improved tool to enable conversion of user-created on-screen topologies to an ILP formulation. The fourth and final part of this thesis is the detailed performance comparison of a selected set of Generic ILP and 0-1 SAT-based ILP solvers in solving the improved ILP formulations of the clustering problem generated using the tool. The results obtained indicate that from our selected set of solvers, generic ILP solvers are able to handle relatively large scale MANET topologies, while 0-1 SAT-based ILP solvers are the fastest, for small scale networks. For small scale networks the proposed ILP formulations, such as the Star-Ring base model, together with the high performance solvers would be suitable for use in real-world environments. However for large scale networks, as the time to cluster the network grows exponentially, the solvers will be unable to cluster the network in accordance with the demands of a real-world environment.