Solving the Clustering Problem in MANETs using SAT & ILP techniques

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

Volumn , Issue , 2012, Pages 624-629

  Zahidi, Syed ^a   Aloul, Fadi ^a   Sagahyroon, Assim ^a   El Hajj, Wassim ^b  

^a AMERICAN UNIVERSITY OF SHARJAH   (United Arab Emirates)

^b AMERICAN UNIVERSITY OF BEIRUT   (Lebanon)

Author keywords

Boolean Satisfiability; Clustering Problem; Integer Linear Programming; Mobile Ad Hoc Networks; Optimization

Indexed keywords

BOOLEAN SATISFIABILITY; CLUSTER-HEADS; CLUSTERING PROBLEMS; COMPLEX ENGINEERING PROBLEMS; ILP FORMULATION; INTEGER LINEAR PROGRAMMING; SAT SOLVERS; STATE OF THE ART;

INFORMATION SCIENCE; INTEGER PROGRAMMING; MOBILE AD HOC NETWORKS; OPTIMIZATION; SIGNAL PROCESSING;

PROBLEM SOLVING;

EID: 84868514587     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSPA.2012.6310628     Document Type: Conference Paper

References (22)

1. S. Chinara and S. Rath, "Energy Efficient Mobility Adaptive Distributed Clustering Algorithm for Mobile Ad Hoc Network, " in International Conference on Advanced Computing and Communications, 2008.
2. Alexander Schrijver, "Theory of Linear and Integer Programming." John Wiley & Sons Ltd., 1999.
3. F. Aloul, A. Ramani, I. Markov, and K. Sakallah, "Generic ILP versus specialized 0-1 ILP: an update, " in International Conference on Computer Aided Design (ICCAD), 450-457, 2002.
4. D. Chai and A. Kuehlmann, "A fast pseudo-Boolean constraint solver, " in Design Automation Conference (DAC), 2003.
5. A. Sagahyroon, F. Aloul, and A. Sudnitson, "Using SAT-Based Techniques in Low Power State Assignment, " in Journal of Circuits, Systems, and Computers (JCSC), 20(8), 1605-1618, 2011
6. A. Ling, D. Singh, and S. Brown, "FPGA Programmable logic block evaluation using quantified Boolean Satisfiability, " in IEEE Computers and Digital Techniques, 153(3), 165-172, May 2006.
7. F. Aloul and M. El Tarhuni, "Multipath Detection Using Boolean Satisfiability Techniques, " in Journal of Computer Networks and Communications (JCNC), vol. 2011, Article ID 365107, 2011.
8. Graham Hughes and Tefvik Bultan, "Automated Verification of Access Control Policies using a SAT solver, " in International Journal on Software Tools for Technology Transfer (STTT), 10(6), 503-520, October 2008.
9. Ilya Mironov and Lintao Zhang, "Applications of SAT solver to Cryptanalysis of Hash Functions, " in International Conference on Theory and Applications of Satisfiability Testing, 102-115, 2006.
10. S. Tosun, O. Ozturk, and M. Ozen, "An ILP formulation for application mapping onto Network-on-Chips, " in AICT, 2009.
11. Ana Graca, Ines Lynce, Joao Marques-Silva, and Arlindo L. Oliveira, "Haplotype inference with pseudo-Boolean optimization, " in Annals of Operations Research, 184(1), 137-162, 2011.
12. Ahmed Wasfy and Fadi A. Aloul, "Solving the University Class Scheduling Problem, " in IEEE GCC Conference, 2007.
13. JA Garcia-Macias and Javier Gomez, "MANET versus WSN, " in Sensor Networks and Configuration: Fundamentals, Standards, Platforms, and Applications. Springer, ch. 17, 369-388, 2006,.
14. K. Xu, X. Hong, and M. Gerla, "An Ad Hoc Network with Mobile Backbones, " in IEEE International Conference on Communications, 2002.
15. Jamal N. Al-Karaki, Ahmed E. Kamal, and Raza Ul-Mustafa, "On the Optimal Clustering in Mobile Ad hoc Networks, " in Consumer Communications and Networking Conference, 2004.
16. Haidar Safa, Omar Mirza, and Hassan Artail, "A Dynamic Energy Eficient Clustering algorithm for MANETs, " in IEEE Int'l Conference on Wireless & Mobile Computing, Networking and Communnication, 2008.
17. Wasim El-Hajj, Dionysios Kountanis, Ala Al-Fuqaha, and Hani Harbi, "Optimal hierarchical Energy Efficient Design for MANETs, " in Int'l Conference on Communications and Mobile Computing, 287-292, 2006.
18. IBM ILOG CPLEX Optimizer, 2011. [Online]. http://www-01.ibm.com/software/ integration/optimization/cplex-optimizer/
19. SCIP: An Open Source MIP Solver and constraint integer programming framework, 2011. [Online]. http://scip.zib.de/
20. V. M. Manquinho and J. Marques-Silva. "On using cutting planes in pseudo Boolean optimization, " in Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 2:209-219, 2006.
21. Hossein Sheini and Karem Sakallah, "Pueblo: A Hybrid Pseudo-Boolean SAT Solver, " in Journal on Satisfiability, Boolean Modeling and Computation, 2(1-4), 165-189, 2006.
22. N. Een and N. Sorensson, "An extensible SAT-solver, " in Int'l Conf. on Theory and Applications of Satisfiability Testing, 502-508, 2003.