Abstract
In this paper we present a new framework for over constrained problems. We suggest to define an over-constrained network as a global constraint. We introduce two new lower bounds of the number of violations, without making any assumption on the arity of constraints.
The work of ILOG authors was partially supported by the IST Programme of the Commission of the European Union through the ECSPLAIN project (IST-1999-11969).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Bistarelli, U. Montanari, F. Rossi, T. Schiex, G. Verfaillie, and H. Fargier. Semiring-based csps and valued csps: Frameworks, properties, and comparison. Constraints, 4:199–240, 1999.
E. Freuder and R. Wallace. Partial constraint satisfaction. Artificial Intelligence, 58:21–70, 1992.
J. L. de Siqueira N. and J.-F. Puget. Explanation-based generalization of failures. Proceedings ECAI, pages 339–344, 1988.
J. Larrosa, P. Meseguer, and T. Schiex. Maintaining reversible dac for max-csp. Artificial Intelligence, 107:149–163, 1999.
J. Larrossa and P. Meseguer. Partition-based lower bound for max-csp. Proceedings CP, pages 303–315, 1999.
H. Simonis. Problem classification scheme for finite domain constraint solving. CP Workshop on C. P. Applications: An Inventory and Taxonomy, pages 1–26, 1996.
R. Wallace. Directed arc consistency preprocessing as a strategy for maximal constraint satisfaction. Proceedings’ ECA I, pages 69–77, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Régin, J.C., Petit, T., Bessière, C., Puget, J.F. (2000). An Original Constraint Based Approach for Solving over Constrained Problems. In: Dechter, R. (eds) Principles and Practice of Constraint Programming – CP 2000. CP 2000. Lecture Notes in Computer Science, vol 1894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45349-0_46
Download citation
DOI: https://doi.org/10.1007/3-540-45349-0_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41053-9
Online ISBN: 978-3-540-45349-9
eBook Packages: Springer Book Archive