Now showing items 1-1 of 1

    • MANET Cluster Optimization Using ILP/SAT Techniques 

      Zahidi, Syed Zohaib Hussain (2012-01)
      In recent years, there have been several improvements in the performance of Integer Linear Programming (ILP) and Boolean Satisfiability (SAT) solvers. These improvements have encouraged the modeling of complex engineering ...