Abstract
Integration of explanations into a CSP solver is a technique addressing difficult question “why my problem has no solution”. Besides providing some sort of answer to the user, explanations can be used for debugging, solving dynamic problems and in advanced search algorithms. Explanations work pretty well with simple constraints. However, in order to use explanations together with a global constraint, its filtering algorithm (i.e. propagation) has to be enhanced to be explanation-aware. In my work I focus on such a technique for classical scheduling filtering algorithms like edge-finding and not-first/not-last.
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.: Edge-Finding Constraint Propagation Algorithms for Disjunctive and Cumulative Scheduling. In: proceedings of the Fifteenth Workshop of the U.K. Planning Special Interest Group (1996)
Jussien, N.: e-constraints: explanation-based Constraint Programming. In: CP01 Workshop on User-Interaction in Constraint Satisfaction (2001)
Guéret, C., Jussien, N., Prins, C.: Using intelligent backtracking to improve branch and bound methods: an application to Open-Shop problems. European Journal of Operational Research (2000)
Martin, P., Shmoys, D.B.: A New Approach to Computing Optimal Schedules for the Job-Shop Scheduling Problem. In: Cunningham, W.H., Queyranne, M., McCormick, S.T. (eds.) IPCO 1996. LNCS, vol. 1084. Springer, Heidelberg (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vilím, P. (2003). Computing Explanations for Global Scheduling Constraints. In: Rossi, F. (eds) Principles and Practice of Constraint Programming – CP 2003. CP 2003. Lecture Notes in Computer Science, vol 2833. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45193-8_124
Download citation
DOI: https://doi.org/10.1007/978-3-540-45193-8_124
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20202-8
Online ISBN: 978-3-540-45193-8
eBook Packages: Springer Book Archive