Solving the Clustering Problem in MANETs using SAT & ILP techniques | IEEE Conference Publication | IEEE Xplore