Using SAT & ILP techniques to solve enhanced ILP formulations of the Clustering Problem in MANETS | IEEE Conference Publication | IEEE Xplore