This paper presents the application of a local search algorithm for a logical representation of the Job Shop Scheduling Problem (JSSP). This logical representation represents the JSSP transformed as a satisfiability problem (SAT). The proposed algorithm uses a local search in a wide neighborhood. This algorithm, called Walk Wide Search - SAT, is a variant of the WalkSAT algorithm. This search is possible because the included tabu list prevents an excessive number of repetitions of movements during the search process. This paper describes the algorithm and compares results of Walk Wide Search - SAT to WalkSAT. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Cruz-Chávez, M. A., & Rivera-López, R. (2007). A local search algorithm for a SAT representation of scheduling problems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4707 LNCS, pp. 697–709). https://doi.org/10.1007/978-3-540-74484-9_60
Mendeley helps you to discover research relevant for your work.