S. N. Jat

HEURISTIC FOR DIRECTED MODEL CHECKING OF SECURITY PROTOCOLS

F. H. Chandio, I. A. Korejo, H. A. Nizamani, 2012 .

Genetic Algorithms for University Course Timetabling Problems

Sadaf Naseem Jat, S. N. Jat, 2012 .

A Memetic Algorithm for the University Course Timetabling Problem

Shengxiang Yang, Sadaf Naseem Jat, S. N. Jat, 2008, 2008 20th IEEE International Conference on Tools with Artificial Intelligence.

A hybrid genetic algorithm and tabu search approach for post enrolment course timetabling

Shengxiang Yang, Sadaf Naseem Jat, S. N. Jat, 2011, J. Sched..

A Guided Search Non-dominated Sorting Genetic Algorithm for the Multi-Objective University Course Timetabling Problem

Shengxiang Yang, Sadaf Naseem Jat, S. N. Jat, 2011, EvoCOP.

Genetic Algorithms With Guided and Local Search Strategies for University Course Timetabling

Shengxiang Yang, Sadaf Naseem Jat, S. N. Jat, 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

A guided search genetic algorithm for the university course timetabling problem.

Shengxiang Yang, Sadaf Naseem Jat, S. N. Jat, 2009 .