Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques

A cyclic scheduling problem is a problem which, under the requirement of respecting a finite set of constraints consists of ordering a finite set of tasks occurring in an indefinite number of times. In this paper, we propose, by employing different techniques that have been developed by the constraint programming (CP) community, to attack the cyclic job shop scheduling problem with linear precedence constraints. Indeed, this problem can be cut as a constraint satisfaction problem or a constraint optimization problem. By limiting the periodicity of the searched solution, we show that a complete tree search approach is viable since it allows giving satisfactory results while minimizing the overall execution time. Furthermore, such a solution is more adaptable to an industrial context since a limited periodicity can be easily exploited.

[1]  Robert M. Haralick,et al.  Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..

[2]  Takeshi Yamada,et al.  A Genetic Algorithm Applicable to Large-Scale Job-Shop Problems , 1992, PPSN.

[3]  Christophe Lecoutre,et al.  AbsCon: A Prototype to Solve CSPs with Abstraction , 2001, CP.

[4]  Bart Selman,et al.  Noise Strategies for Improving Local Search , 1994, AAAI.

[5]  Christian Bessiere,et al.  Refining the Basic Constraint Propagation Algorithm , 2001, JFPLC.

[6]  Rina Dechter,et al.  Look-Ahead Value Ordering for Constraint Satisfaction Problems , 1995, IJCAI.

[7]  Alan K. Mackworth Consistency in Networks of Relations , 1977, Artif. Intell..

[8]  Hector J. Levesque,et al.  A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.

[9]  Jean-Marie Proth,et al.  Performance evaluation of job-shop systems using timed event-graphs , 1989 .

[10]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[11]  Philippe Chrétienne The basic cyclic scheduling problem with deadlines , 1991, Discret. Appl. Math..

[12]  Lakhdar Sais,et al.  Tabu Search for SAT , 1997, AAAI/IAAI.

[13]  Christian Bessiere,et al.  MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems , 1996, CP.

[14]  Robin Roundy Cyclic Schedules for Job Shops with Identical Jobs , 1992, Math. Oper. Res..

[15]  Alix Munier The basic cyclic scheduling problem with linear precedence constraints , 1996 .

[16]  Christian Bierwirth,et al.  Production Scheduling and Rescheduling with Genetic Algorithms , 1999, Evolutionary Computation.