By Topic

Solving the Clustering Problem in MANETs using SAT & ILP techniques

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Zahidi, S. ; American Univ. of Sharjah, Sharjah, United Arab Emirates ; Aloul, F. ; Sagahyroon, A. ; El-Hajj, W.

Recently 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. 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 (CH), and ensuring that regular nodes are connected to clusterheads such that the lifetime of the network is maximized. This paper focuses on developing an improved ILP formulation for the Clustering Problem, and assessing the feasibility of using such a formulation, together with state-of-the art Generic ILP and SAT solvers, in a real-life practical environment.

Published in:

Information Science, Signal Processing and their Applications (ISSPA), 2012 11th International Conference on

Date of Conference:

2-5 July 2012