ATIQA ZAFAR OPTIMERA CONSTRAINT OPTIMIZATION SOLVER - ISLAMABAD NUST-SEECS 2016 - Pv. CD INCLUDES HB Dewey Class. No.: BESE-3 ZAF