Auszug
Neben einer geschickten Modellierung eines CSP (s. Teil IV) ist das Vorgehen bei der Suche nach Lösungen ausschlaggebend für die Geschwindigkeit, mit der entweder Inkonsistenzen erkannt oder Lösungen gefunden werden. Modellierung und Suche bedingen sich gegenseitig. Einerseits werden die Auswahlmöglichkeiten während der Suche aufgrund der konsistenzherstellenden Verfahren eingeschränkt. Andererseits sind resultierende Suchraumeinschränkungen abhängig von den getroffenen Entscheidungen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
13.4 Anmerkungen und Literaturhinweise
Adams, Joseph, Egon Balas und Daniel Zawack: The Shifting Bottleneck Procedure for Job Shop Scheduling. Management Science, 34(3):391–401, 1988.
Baker, Andrew B.: The Hazards of Fancy Backtracking. In: Proceedings of the Twelfth National Conference on Artificial Intelligence — AAAI’94, Seiten 288–293, 1994.
Barták, Roman: On-Line Guide to Constraint Programming. http://ktiml.mff.cuni.cz/~bartak/constraints/, 1998. Zuletzt besucht am 26.10.2006.
Barták, Roman: Practical Constraints: A Tutorial on Modelling with Constraints. In: Figwer, J. (Herausgeber): Proceedings of the 5th Workshop on Constraint Programming for Decision and Control (CPDC 2003), Gliwice, 2003.
Bliek, Christian: Generalizing Partial Order and Dynamic Backtracking. In: Proceedings of the Fifth National Conference on Artificial Intelligence — AAAI’98, Seiten 319–325, 1998.
DOTPlan — Das Online-Teilnehmerbuchungs-und-planungssystem. http://dotplan.first.fraunhofer.de. Zuletzt besucht am 16.10.2006.
Ginsberg, Matthew L.: Dynamic Backtracking. Journal of Artificial Intelligence Research, 1:25–46, 1993.
Ginsberg, Matthew L. und Davis A. McAllester: GSAT and Dynamic Backtracking. In: Doyle, Jon, Erik Sandewall und Pietro Torasso (Herausgeber): Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, Seiten 226–237. Morgan Kaufmann, San Francisco, California, Mai 1994.
Jussien, Narendra: E-Constraints: Explanation-Based Constraint Programming. In: Proceedings of the CP 2001 Workshop on User Interaction in Constraint Satisfaction, 2001. (also available as research report 01-05-INFO, École des Mines de Nantes, 2001).
Jussien, Narendra, Romuald Debruyne und Patrice Boizumault: Maintaining Arc-Consistency within Dynamic Backtracking. In: Dechter, Rina (Herausgeber): Principles and Practice of Constraint Programming — CP 2000. 6th International Conference, CP 2000, Singapore, September 18–21, 2000, Proceedings, Band 1894 der Reihe Lecture Notes in Computer Science, Seiten 249–261. Springer-Verlag, September 2000.
Müller, Henry: Analyse und Entwicklung von intelligenten abhängigkeitsgesteuerten Suchverfahren für einen Java-basierten Constraintlöser. Diplomarbeit, Technische Universität Berlin, 2004.
Nadel, Bernard A.: Constraint Satisfaction Algorithms. Computational Intelligence, 5:188–224, 1989.
Prosser, Patrick: Hybrid Algorithms for the Constraint Satisfaction Problem. Computational Intelligence, 9(3):268–299, 1993.
Prosser, Patrick: MAC-CBJ: Maintaining Arc Consistency with Conflict-Directed Backjumping. Research Report, Department of Computer Science, University of Strathclyde, Glasgow G1 1XH, Scotland, Mai 1995.
Sadeh, Norman und Mark S. Fox: Variable and Value Ordering Heuristics for the Job Shop Scheduling Constraint Satisfaction Problem. Artificial Intelligence, 86(1):1–41, 1996.
Verfaillie, Gérhard und Thomas Schiex: Dynamic Backtracking for Dynamic Constraint Satisfaction Problems. In: Schiex, Thomas und CHRISTIAN BESSIÉRE (Herausgeber): ECAI’94 Workshop on Constraint Satisfaction Issues Raised by Practical Applications, Seiten 1–8, Amsterdam, The Netherlands, August 1994.
Vilím, Petr: Computing Explanations for the Unary Resource Constraint. In: Roman Barták, Michela Milano (Herausgeber): Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CP-AI-OR 2005, Band 3524 der Reihe Lecture Notes in Computer Science, Seiten 396–409. Springer-Verlag, Mai 2005.
Wolf, Armin: Better Propagation for Non-Preemptive Single-Resource Constraint Problems. In: Faltings, Boi, Adrian Petcu, François Fages und Francesca Rossi (Herausgeber): Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23–25, 2004, Revised Selected and Invited Papers, Band 3419 der Reihe Lecture Notes in Artificial Intelligence, Seiten 201–215. Springer-Verlag, März 2005.
Wolf, Armin: Intelligent Search Strategies Based on Adaptive Constraint Handling Rules. Theory and Practice of Logic Programming, 5(4–5):567–594, 2005. Print ISSN: 1471-0684.
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2007). Die Suche nach Lösungen von CSP. In: Einführung in die Constraint-Programmierung. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68194-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-68194-6_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23184-4
Online ISBN: 978-3-540-68194-6
eBook Packages: Computer Science and Engineering (German Language)