أرسل هذا في رسالة قصيرة: MANET Cluster Optimization Using ILP/SAT Techniques