A Local Search Algorithm for a SAT Representation of Scheduling Problems.

Marco Antonio Cruz-Chavez, Rafael Rivera-Lpez

Browse the full ICCSA paper archive.