Abstract
With an open-ended constraint solver it is possible to introduce new facilities for modeling a problem. To illustrate this approach, we present as a case study how OpenSolver [2] can be configured as a solver for the job-shop scheduling problem (JSSP). OpenSolver is configured using plug-ins for several aspects of constraint solving. Here we use special-purpose domain types (sets of domains that can be associated with a variable) and reduction operators.
A JSSP instance consists of several jobs that themselves consist of a number of activities. Activities are characterized by a resource that is needed to process the activity, and by how long the activity claims this resource. The constraints are: all activities of a job must be processed in a specified order, and no two activities can use the same resource simultaneously. The goal is to find starting times for all activities such that the total processing time (makespan) is minimal.
A CP model for this problem uses a variable for the starting time and completion time of each activity [1]. When doing a complete search for the minimal makespan, branching is on the order in which resources are assigned to the activities that require them. The nodes of the search tree correspond to partial schedules, for which constraint propagation verifies feasibility. Search can be implemented by posting and retracting precedence constraints.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Baptiste, P., Le Pape, C., Nuijten, W.: Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems. Kluwer Academic Publishers, Dordrecht (2001)
Zoeteweij, P.: OpenSolver: a Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine (doctoral program abstract). In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, p. 809. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zoeteweij, P. (2004). Constraining Special-Purpose Domain Types. In: Wallace, M. (eds) Principles and Practice of Constraint Programming – CP 2004. CP 2004. Lecture Notes in Computer Science, vol 3258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30201-8_88
Download citation
DOI: https://doi.org/10.1007/978-3-540-30201-8_88
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23241-4
Online ISBN: 978-3-540-30201-8
eBook Packages: Springer Book Archive