Optimizing Complex Cluster Formation in MANETs Using SAT/ILP Techniques | IEEE Journals & Magazine | IEEE Xplore