Literaturverzeichnis

Nächste Seite: Abkürzungsverzeichnis Aufwärts: Diplom Vorherige Seite: G. Glossar Inhalt Index

Literatur

Abdennadher et al. 2001 ABDENNADHER, Slim ; KRÄMER, Ekkerhard ; SAFT, Matthias ; SCHMAUSS, Matthias:: JACK: A Java Constraint Kit.
In: Proceedings of the International Workshop on Functional and (Constraint) Logic Programming (WFLP'01), Universität Kiel (veröffentlicht als technischer Bericht Nr. 2017), 13.-15. September 2001. -
URL http://www.pms.ifi.lmu.de/publikationen/PMS-FB/PMS-FB-2001-10.pdf. - Zugriffsdatum: 16. März 2005. -
Zugl.: (Abdennadher et al., 2002a). - Gekürzte Fassung: (Abdennadher et al., 2002b)
Abdennadher et al. 2002a ABDENNADHER, Slim ; KRÄMER, Ekkerhard ; SAFT, Matthias ; SCHMAUSS, Matthias:: JACK: A Java Constraint Kit.
In: Electronic Notes in Theoretical Computer Science (ENTCS)
64 (2002), September, S. 1-17. -
URL http://www.cs.guc.edu.eg/faculty/sabdennadher/Publikationen/paperENTC.ps.gz. - Zugriffsdatum: 16. März 2005. -
Zugl.: (Abdennadher et al., 2001). - Gekürzte Fassung: (Abdennadher et al., 2002b). -
ISSN 1571-0661
Abdennadher et al. 2002b ABDENNADHER, Slim ; KRÄMER, Ekkerhard ; SAFT, Matthias ; SCHMAUSS, Matthias:: JACK: A Java Constraint Kit.
In: ALP Newsletter (Association for Logic Programming)
15 (2002), Februar, Nr. 1. -
URL http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/feb02/nav/monfroy/monfroy_toprint.pdf. - Zugriffsdatum: 2. Februar 2005. -
Ausführliche Version: (Abdennadher et al., 2001,2002a)
Alefeld und Herzberger 1974 ALEFELD, Götz ; HERZBERGER, Jürgen:: Einführung in die Intervallrechnung.
Mannheim, Wien, Zürich : Bibliographisches Institut, Wissenschaftsverlag, 1974
(Reihe Informatik 12). -
xiii + 398 S. -
ISBN 3-411-01466-0
Allen 1983 ALLEN, James F.:: Maintaining Knowledge about Temporal Intervals.
In: Communications of the ACM (CACM)
26 (1983), November, Nr. 11, S. 832-843. -
ISSN 0001-0782
Arbab 1998a ARBAB, Farhad:: The Coordination Language Manifold.
In: ERCIM News, online edition
(1998), Oktober, Nr. 35. -
URL http://www.ercim.org/publication/Ercim_News/enw35/arbab.html. - Zugriffsdatum: 6. Juni 2005
Arbab 1998b ARBAB, Farhad:: What Do You Mean, Coordination?
In: BRUNE, Mieké (Hrsg.) ; WILLEM KLOP, Jan (Hrsg.) ; RUTTEN, Jan (Hrsg.): Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica.
Amsterdam, The Netherlands, M ${\^{^\/}}$ barz 1998, S. 11-22. -
URL http://www.cwi.nl/pub/manifold/NVTIpaper.ps.Z. - Zugriffsdatum: 31. Mai 2005. -
March'98 Issue of the Bulletin of the Dutch Association for Theoretical Computer Science
Arbab und Monfroy 1998a ARBAB, Farhad ; MONFROY, Eric:: Coordination of Heterogeneous Distributed Cooperative Constraint Solving.
In: ACM SIGAPP Applied Computing Review
6 (1998), September, Nr. 2, S. 4-17. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/Papers/acr98.ps.gz. - Zugriffsdatum: 1. Juni 2005. -
Special Issue on Coodination Languages and Models. - Zugl.: CWI Technical Report SEN-R9828, ISSN 1386-369X. - Vorhergehende Version: (Arbab und Monfroy, 1998b)
Arbab und Monfroy 1998b ARBAB, Farhad ; MONFROY, Eric:: Using Coordination for Cooperative Constraint Solving.
In: GEORGE, K. M. (Hrsg.) ; LAMONG, Gary B. (Hrsg.): Proceedings of the 1998 ACM Symposium on Applied Computing (SAC'98), Atlanta, Georgia, USA, 27. Februar - 1. März 1998.
New York, NY, USA : ACM Press, 1998, S. 139-148. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/Papers/sac98.ps.gz. - Zugriffsdatum: 1. Juni 2005. -
Erweiterte Fassung: (Arbab und Monfroy, 1998a). -
ISBN 0-89791-969-6
Ardissono et al. 2001 ARDISSONO, Liliana ; FELFERNIG, Alexander ; FRIEDRICH, Gerhard ; GOY, Anna ; JANNACH, Dietmar ; SCHÄFER, Ralph ; ZANKER, Markus:: Web-Based Commerce of Complex Products and Services with Multiple Suppliers.
In: SAUER, Jürgen (Hrsg.): Proceedings of the 15th Workshop ``AI in Planning, Scheduling, Configuration and Design'' (PuK'01) at the 24th Joint German/Austrian Conference on Artificial Intelligence (KI'01).
Wien, Österreich, 18. September 2001, S. 1-8. -
URL http://www-is.informatik.uni-oldenburg.de/~sauer/puk2001/papers/zanker.pdf. - Zugriffsdatum: 10. Oktober 2004
Ardissono et al. 2002 ARDISSONO, Liliana ; FELFERNIG, Alexander ; FRIEDRICH, Gerhard ; JANNACH, Dietmar ; SCHÄFER, Ralph ; ZANKER, Markus:: A Framework for Rapid Development of Advanced Web-Based Configurator Applications.
In: HARMELEN, Frank van (Hrsg.): Proceedings of the 15th European Conference on Artificial Intelligence (ECAI'02) - Prestigious Applications of Intelligent Systems (PAIS), Lyon, France, 21.-26. Juli 2002.
Amsterdam, The Netherlands : IOS Press, September 2002
(Frontiers in Artificial Intelligence and Applications 77), S. 618-622. -
URL http://www.di.unito.it/~liliana/EC/pais02.pdf. - Zugriffsdatum: 15. September 2004. -
ISBN 1-586-03257-7
Arlt et al. 1999 ARLT, Volker ; GÜNTER, Andreas ; HOLLMANN, Oliver ; WAGNER, Thomas ; HOTZ, Lothar:: EngCon - Engineering & Configuration.
In: (Faltings et al., 1999), S. 123-124. -
ISBN 1-57735-089-8
Armstrong et al. 2005 ARMSTRONG, Eric ; BALL, Jennifer ; BODOFF, Stephanie ; BODE CARSON, Debbie ; EVANS, Ian ; GREEN, Dale ; HAASE, Kim ; JENDROCK, Eric:: The J2EE 1.4 Tutorial - For Sun Java System Application Server Platform
/ Sun Microsystems.
Santa Clara, California, USA, 7. Juni 2005
(Edition 8.1 2005Q2 UR2). - Tutorial. -
xlii + 1499 S. -
URL http://java.sun.com/j2ee/1.4/docs/tutorial/doc/J2EETutorial.pdf. - Zugriffsdatum: 7. November 2005
Axling und Haridi 1996 AXLING, Tomas ; HARIDI, Seif:: A Tool for Developing Interactive Configuration Applications.
In: The Journal of Logic Programming
26 (1996), Februar, Nr. 2, S. 147-168. -
URL http://www.sics.se/~axling/obelics.ps.Z. - Zugriffsdatum: 13. Oktober 2004. -
ISSN 0743-1066
Bacchus 2000 BACCHUS, Fahiem:: Extending Forward Checking.
In: (Dechter, 2000), S. 35-51. -
URL http://www.cs.toronto.edu/~fbacchus/Papers/efc.pdf. - Zugriffsdatum: 21. September 2004. -
ISBN 3-540-41053-8
Bacchus und van Beek 1998 BACCHUS, Fahiem ; BEEK, Peter van:: On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems.
In: RICH, Charles (Hrsg.) ; MOSTOW, Jack (Hrsg.) ; BUCHANAN, Bruce G. (Hrsg.) ; UTHURUSAMY, Ramasamy (Hrsg.): Proceedings of the 15th National Conference on Artificial Intelligence (AAAI'98) and 10th Conference on Innovative Applications of Artificial Intelligence (IAAI'98), Madison, Wisconsin, USA, 26.-30. Juli 1998.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, 1998, S. 311-318. -
URL http://www.cs.toronto.edu/~fbacchus/Papers/BvBAAAI98.pdf. - Zugriffsdatum: 21. September 2004. -
ISBN 0-262-51098-7
Bacchus et al. 2002 BACCHUS, Fahiem ; CHEN, Xinguang ; BEEK, Peter van ; WALSH, Toby:: Binary vs. Non-Binary Constraints.
In: Artificial Intelligence
140 (2002), September, Nr. 1-2, S. 1-37. -
URL http://www.cs.toronto.edu/~fbacchus/Papers/bcvwaij02.pdf. - Zugriffsdatum: 21. September 2004. -
ISSN 0004-3702
Bacchus und Grove 1995 BACCHUS, Fahiem ; GROVE, Adam J.:: On the Forward Checking Algorithm.
In: (Montanari und Rossi, 1995), S. 292-309. -
URL http://www.cs.toronto.edu/~fbacchus/Papers/BGCP95.pdf. - Zugriffsdatum: 21. September 2004. -
ISBN 3-540-60299-2
Bacchus und van Run 1995 BACCHUS, Fahiem ; RUN, Paul van:: Dynamic Variable Ordering in CSPs.
In: (Montanari und Rossi, 1995), S. 258-275. -
URL http://www.cs.toronto.edu/~fbacchus/Papers/BvRCP95.pdf. - Zugriffsdatum: 21. September 2004. -
ISBN 3-540-60299-2
Badros et al. 2001 BADROS, Greg J. ; BORNING, Alan ; STUCKEY, Peter J.:: The Cassowary Linear Arithmetic Constraint Solving Algorithm.
In: ACM Transactions on Computer-Human Interaction (TOCHI)
8 (2001), Nr. 4, S. 267-306. -
URL http://www.cs.washington.edu/research/constraints/solvers/cassowary-tochi.pdf. - Zugriffsdatum: 7. Februar 2005. -
ISSN 1073-0516
Barták 1999a BARTÁK, Roman:: Constraint Programming: In Pursuit of the Holy Grail.
In: Proceedings of the Week of Doctoral Students (WDS'99), Part IV (Invited Lecture).
Prague, Czechia : MatFyzPress, Juni 1999, S. 555-564. -
URL http://ktilinux.ms.mff.cuni.cz/~bartak/downloads/WDS99.pdf. - Zugriffsdatum: 19. Januar 2006. -
Vorhergehende Version: (Barták, 1999b)
Barták 1999b BARTÁK, Roman:: Constraint Programming: What is Behind?
In: Proceedings of the Workshop on Constraint Programming for Decision and Control (CPDC'99), Invited Talk.
Gliwice, Poland, Juni 1999, S. 7-15. -
URL http://ktilinux.ms.mff.cuni.cz/~bartak/downloads/CPDC99.pdf. - Zugriffsdatum: 22. September 2004. -
Erweiterte Fassung: (Barták, 1999a)
Barták 2001 BARTÁK, Roman:: Theory and Practice of Constraint Propagation.
In: Proceedings of the 3rd Workshop on Constraint Programming for Decision and Control (CPDC'01), Invited Lecture.
Gliwice, Poland, Juni 2001, S. 7-14. -
URL http://ktilinux.ms.mff.cuni.cz/~bartak/downloads/CPDC2001.zip. - Zugriffsdatum: 19. Januar 2006
Barták 2003 BARTÁK, Roman:: On-Line Guide to Constraint Programming
/ Charles University, Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics.
Czechia, Prague, Stand: 4. Oktober 2003.
- Tutorial. -
URL http://kti.ms.mff.cuni.cz/~bartak/constraints. - Zugriffsdatum: 8. April 2004
Bauch et al. 1987 BAUCH, Hartmut ; JAHN, Karl-Udo ; OELSCHLÄGEL, Dieter ; SÜSSE, Herbert ; WIEBIGKE, Volkmar:: Intervallmathematik, Theorie und Anwendungen.
1. Aufl.
Leipzig : BSB B. G. Teubner Verlagsgesellschaft, 1987
(Mathematisch-Naturwissenschaftliche Bibliothek 72). -
260 S. -
ISBN 3-322-00384-1
van Beek 1992 BEEK, Peter van:: On the Minimality and Decomposability of Constraint Networks.
In: ROSENBLOOM, Paul (Hrsg.) ; SZOLOVITS, Peter (Hrsg.): Proceedings of the 10th National Conference on Artificial Intelligence (AAAI'92), San Jose, California, USA, 12.-16. Juli 1992.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, 1992, S. 447-452. -
URL http://ai.uwaterloo.ca/~vanbeek/publications/aaai92.ps.gz. - Zugriffsdatum: 15. September 2004. -
ISBN 0-262-51063-4
Benhamou 1995 BENHAMOU, Frédéric:: Interval Constraint Logic Programming.
In: (Podelski, 1995), S. 1-21. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/Ben_Chatillon95.pdf. - Zugriffsdatum: 27. Dezember 2004. -
ISBN 3-540-59155-9
Benhamou 1996 BENHAMOU, Frédéric:: Heterogeneous Constraint Solving.
In: HANUS, Michael (Hrsg.) ; RODRÍGUEZ-ARTALEJO, Mario (Hrsg.): Proceedings of the 5th International Conference on Algebraic and Logic Programming (ALP'96), Aachen, 25.-27. September 1996.
Berlin, Heidelberg, New York : Springer Verlag, 1996
(LNCS 1139), S. 62-76. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/Ben_ALP96.pdf. - Zugriffsdatum: 15. Mai 2005. -
ISBN 3-540-61735-3
Benhamou 2001 BENHAMOU, Frédéric:: Interval Constraints.
In: FLOUDAS, Christodoulos A. (Hrsg.) ; PARDALOS, Panos M. (Hrsg.): Encyclopedia of Optimization Bd. 3.
Dordrecht, Netherlands : Kluwer Academic Publishers, August 2001, S. 45-48. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/Ben99_EoO.pdf. - Zugriffsdatum: 14. September 2004. -
ISBN 0-7923-6932-7
Benhamou 2002 BENHAMOU, Frédéric:: Interval Reasoning.
Invited Tutorial (Slides) at the 8th International Conference on Principles and Practice of Constraint Programming (CP'02), Ithaca, New York, USA.
13. September 2002. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/Ben_TutorialCP2002.pdf. - Zugriffsdatum: 7. Oktober 2004
Benhamou et al. 1999a BENHAMOU, Frédéric ; GOUALARD, Frédéric ; GRANVILLIERS, Laurent ; PUGET, Jean-François:: Revising Hull and Box Consistency.
In: DE SCHREYE, Danny (Hrsg.): Proceedings of the 16th International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, USA, 29. November - 4. Dezember 1999.
Cambridge, Massachusetts, USA : The MIT Press, 1999, S. 230-244. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/BenGouGranPug_ICLP99.pdf. - Zugriffsdatum: 14. September 2004. -
ISBN 0-262-54104-1
Benhamou et al. 1999b BENHAMOU, Frédéric ; GOUALARD, Frédéric ; GRANVILLIERS, Laurent ; PUGET, Jean-François:: Revising Hull and Box Consistency.
Lecture Slides at the 16th International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, USA.
30. November 1999. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/Slides_ICLP99.pdf. - Zugriffsdatum: 7. Oktober 2004
Benhamou und Granvilliers 1996 BENHAMOU, Frédéric ; GRANVILLIERS, Laurent:: Combining Local Consistency, Symbolic Rewriting and Interval Methods.
In: CALMET, Jacques (Hrsg.) ; CAMPBELL, John A. (Hrsg.) ; PFALZGRAF, Jochen (Hrsg.): Proceedings of the 3rd International Conference on Artificial Intelligence and Symbolic Mathematical Computation (AISMC-3), Steyr, Austria, 23.-25. September 1996.
Berlin, Heidelberg, New York : Springer Verlag, 1996
(LNCS 1138), S. 144-159. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/granvil/papers/bgaismc96.pdf. - Zugriffsdatum: 9. Juni 2005. -
ISBN 3-540-61732-9
Benhamou et al. 1994a BENHAMOU, Frédéric ; MCALLESTER, David ; VAN HENTENRYCK, Pascal:: CLP(Intervals) Revisited.
In: BRUYNOOGHE, Maurice (Hrsg.): Logic Programming, Proceedings of the 1994 International Symposium (ILPS'94), Ithaca, New York, USA, 13.-17. November 1994.
Cambridge, Massachusetts, USA : The MIT Press, 1994, S. 124-138. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/BenMcAlVHen94.pdf. - Zugriffsdatum: 14. September 2004. -
Vorhergehende Version: (Benhamou et al., 1994b). -
ISBN 0-262-52191-1
Benhamou et al. 1994b BENHAMOU, Frédéric ; MCALLESTER, David ; VAN HENTENRYCK, Pascal:: CLP(Intervals) Revisited
/ University of Marseille.
France, April 1994
(Technical Report CS-94-18). - Forschungsbericht. -
16 S. -
URL ftp://ftp.cs.brown.edu/pub/techreports/94/cs94-18.ps.Z. - Zugriffsdatum: 22. September 2004.
Überarb. Fassung: (Benhamou et al., 1994a)
Benhamou und Older 1997 BENHAMOU, Frédéric ; OLDER, William:: Applying Interval Arithmetic to Real, Integer and Boolean Constraints.
In: The Journal of Logic Programming
32 (1997), Juli, Nr. 1, S. 1-24. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/BenOld_JLP97.pdf. - Zugriffsdatum: 14. September 2004. -
ISSN 0743-1066
Benhamou und Van Hentenryck 1997 BENHAMOU, Frédéric ; VAN HENTENRYCK, Pascal:: Introduction to the Special Issue on Interval Constraints.
In: Constraints, An International Journal
2 (1997), April, Nr. 2, S. 107-112. -
ISSN 1383-7133
Berk 2000 BERK, Elliot:: JLex: A lexical analyzer generator for Java
/ Princeton University, Department of Computer Science.
Princeton, New Jersey, USA, 6. September 2000
(Version 1.2.5). - Online Handbuch. -
URL http://www.cs.princeton.edu/~appel/modern/java/JLex/current/manual.html. - Zugriffsdatum: 14. September 2005
Berlandier 1995 BERLANDIER, Pierre:: Improving Domain Filtering Using Restricted Path Consistency.
In: Proceedings of the 11th Conference on Artificial Intelligence for Applications (CAIA'95), Los Angeles, California, USA, 20.-22. Februar 1995.
Los Alamitos, California, USA, : IEEE Computer Society Press, 1995, S. 32-37. -
URL ftp://ftp-sop.inria.fr/coprin/neveu/contraintes/berlandier/caia95.ps.gz. - Zugriffsdatum: 15. September 2004. -
ISBN 0-8186-7070-3
Bessière 1994a BESSIÈRE, Christian:: Arc-Consistency and Arc-Consistency Again.
In: Artificial Intelligence
65 (1994), Januar, Nr. 1, S. 179-190. -
URL http://www.lirmm.fr/~bessiere/stock/aij94.pdf. - Zugriffsdatum: 30. März 2005. -
Vorhergehende Version: (Bessière und Cordier, 1993). -
ISSN 0004-3702
Bessière 1994b BESSIÈRE, Christian:: A Fast Algorithm to Establish Arc-Consistency in Constraint Networks
/ LIRMM, Université de Montpellier II.
Montpellier, France, Januar 1994
(Technical Report TR-94-003). - Forschungsbericht. -
6 S. -
URL http://citeseer.ist.psu.edu/bessi94fast.html. - Zugriffsdatum: 16. September 2004
Bessière 1999 BESSIÈRE, Christian:: Non-Binary Constraints (Invited Paper).
In: (Jaffar, 1999), S. 24-27. -
URL http://www.lirmm.fr/~bessiere/stock/cp99-nonbinary.ps. - Zugriffsdatum: 17. September 2004. -
ISBN 3-540-66626-5
Bessière und Cordier 1993 BESSIÈRE, Christian ; CORDIER, Marie-Odile:: Arc-Consistency and Arc-Consistency Again.
In: FIKES, Richard (Hrsg.) ; LEHNERT, Wendy (Hrsg.): Proceedings of the 11th National Conference on Artificial Intelligence (AAAI'93), Washington, DC, USA, 11.-15. Juli 1993.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, 1993, S. 108-113. -
URL http://www.lirmm.fr/~bessiere/stock/aaai93.pdf. - Zugriffsdatum: 30. März 2005. -
Überarb. Fassung: (Bessière, 1994a). -
ISBN 0-262-51071-5
Bessière et al. 1995 BESSIÈRE, Christian ; FREUDER, Eugene C. ; RÉGIN, Jean-Charles:: Using Inference to Reduce Arc Consistency Computation.
In: PERRAULT, C. Raymond (Hrsg.) ; MELLISH, Chris S. (Hrsg.): Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), Montréal, Québec, Canada, 20.-25. August 1995 Bd. 1.
San Mateo, California, USA : Morgan Kaufmann Publishers, Dezember 1995, S. 592-599. -
URL http://www.lirmm.fr/~bessiere/stock/ijcai95.ps. - Zugriffsdatum: 15. September 2004. -
ISBN 1-558-60363-8
Bessière et al. 1999a BESSIÈRE, Christian ; FREUDER, Eugene C. ; RÉGIN, Jean-Charles:: Using Constraint Metaknowledge to Reduce Arc Consistency Computation.
In: Artificial Intelligence
107 (1999), Januar, Nr. 1, S. 125-148. -
URL http://www.lirmm.fr/~bessiere/stock/aij99.ps. - Zugriffsdatum: 21. September 2004. -
ISSN 0004-3702
Bessière et al. 1999b BESSIÈRE, Christian ; MESEGUER, Pedro ; FREUDER, Eugene C. ; LARROSA, Javier:: On Forward Checking for Non-Binary Constraint Satisfaction.
In: RÉGIN, Jean-Charles (Hrsg.) ; NUIJTEN, Wim (Hrsg.): Proceedings of the Workshop on Non-Binary Constraints at the 16th International Joint Conference on Artificial Intelligence (IJCAI'99).
Stockholm, Sweden, 2. August 1999, S. 9-16. -
URL http://www.lirmm.fr/~bessiere/stock/ijcai99ws.ps. - Zugriffsdatum: 16. September 2004. -
Zugl.: (Bessière et al., 1999c). - Erweiterte Fassung: (Bessière et al., 2002)
Bessière et al. 1999c BESSIÈRE, Christian ; MESEGUER, Pedro ; FREUDER, Eugene C. ; LARROSA, Javier:: On Forward Checking for Non-Binary Constraint Satisfaction.
In: (Jaffar, 1999), S. 88-102. -
URL http://www.lirmm.fr/~bessiere/stock/cp99-nfc.ps. - Zugriffsdatum: 14. September 2004. -
Zugl.: (Bessière et al., 1999b). - Erweiterte Fassung: (Bessière et al., 2002). -
ISBN 3-540-66626-5
Bessière et al. 2002 BESSIÈRE, Christian ; MESEGUER, Pedro ; FREUDER, Eugene C. ; LARROSA, Javier:: On Forward Checking for Non-Binary Constraint Satisfaction.
In: Artificial Intelligence
141 (2002), Oktober, Nr. 1-2, S. 205-224. -
URL http://www.lirmm.fr/~bessiere/stock/aij02.ps. - Zugriffsdatum: 16. September 2004. -
Vorhergehende Versionen: (Bessière et al., 1999c,b). -
ISSN 0004-3702
Bessière und Régin 1995 BESSIÈRE, Christian ; RÉGIN, Jean-Charles:: Using Bidirectionality to Speed Up Arc-Consistency Processing.
In: MEYER, Manfred (Hrsg.): Constraint Processing, Selected Papers.
Berlin, Heidelberg, New York : Springer Verlag, 1995
(LNCS 923), S. 157-169. -
URL http://www.lirmm.fr/~bessiere/stock/lncs923.ps. - Zugriffsdatum: 16. September 2004. -
ISBN 3-540-59479-5
Bessière und Régin 1996 BESSIÈRE, Christian ; RÉGIN, Jean-Charles:: MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems.
In: (Freuder, 1996), S. 61-75. -
URL http://www.lirmm.fr/~bessiere/stock/cp96.ps. - Zugriffsdatum: 14. September 2004. -
ISBN 3-540-61551-2
Bessière und Régin 1997 BESSIÈRE, Christian ; RÉGIN, Jean-Charles:: Arc Consistency for General Constraint Networks: Preliminary Results.
In: (Pollack und Georgeff, 1997), S. 398-404. -
URL http://www.lirmm.fr/~bessiere/stock/ijcai97-gac.ps. - Zugriffsdatum: 15. September 2004. -
ISBN 1-558-60480-4
Bessière und Régin 1998 BESSIÈRE, Christian ; RÉGIN, Jean-Charles:: Local Consistency on Conjunctions of Constraints.
In: RÉGIN, Jean-Charles (Hrsg.) ; NUIJTEN, Wim (Hrsg.): Proceedings of the Workshop on Non-Binary Constraints at the 13th Biennial European Conference on Artificial Intelligence (ECAI'98).
Brighton, UK, 23.-28. August 1998, S. 53-59. -
URL http://www.lirmm.fr/~bessiere/stock/ecai98ws.ps. - Zugriffsdatum: 18. September 2004
Bessière und Régin 2001a BESSIÈRE, Christian ; RÉGIN, Jean-Charles:: Refining the Basic Constraint Propagation Algorithm.
In: (Nebel, 2001), S. 309-315. -
URL http://www.lirmm.fr/~bessiere/stock/ijcai01.ps. - Zugriffsdatum: 20. September 2004. -
Zugl.: (Bessière und Régin, 2001b). -
ISBN 1-55860-777-3
Bessière und Régin 2001b BESSIÈRE, Christian ; RÉGIN, Jean-Charles:: Refining the Basic Constraint Propagation Algorithm.
In: CODOGNET, Philippe (Hrsg.): Proceedings of the 10th International French Speaking Conference on Logic and Constraint Programming: Actes des Dixièmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'01), Paris, France, 24.-27. April 2001.
Paris : Hermès Science Publications, 2001. -
URL http://www.lirmm.fr/~bessiere/stock/jfplc01.ps. - Zugriffsdatum: 20. September 2004. -
Zugl.: (Bessière und Régin, 2001a). -
ISBN 2-7462-0255-7
Bitner und Reingold 1975 BITNER, James R. ; REINGOLD, Edward M.:: Backtrack Programming Techniques.
In: Communications of the ACM (CACM)
18 (1975), November, Nr. 11, S. 651-656. -
ISSN 0001-0782
Bonar 2003 BONAR, Pascal:: Unterstützung der Modellierung von Abläufen in strukturbasierten Konfigurationssystemen, Universität Bremen, Diplomarbeit, 18. Dezember 2003. -
iv + 210 S.
Bordeaux et al. 2001 BORDEAUX, Lucas ; MONFROY, Eric ; BENHAMOU, Frédéric:: Improved Bounds on the Complexity of kB-Consistency.
In: (Nebel, 2001), S. 303-308. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/BorMonBen_IJCAI2001.pdf. - Zugriffsdatum: 20. September 2004. -
ISBN 1-55860-777-3
Borning et al. 1987 BORNING, Alan ; DUISBERG, Robert ; FREEMAN-BENSON, Bjørn N. ; KRAMER, Axel ; WOOLF, Michael:: Constraint Hierarchies.
In: MEYROWITZ, Norman (Hrsg.): Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'87), Orlando, Florida, USA.
New York, NY, USA : ACM Press, Dezember 1987, S. 48-60. -
Zugl.: ACM SIGPLAN Notices, 22 (1987), Nr. 12, S. 48-60. -
ISBN 0-89791-247-0
Borning et al. 1992 BORNING, Alan ; FREEMAN-BENSON, Bjørn N. ; WILSON, Molly:: Constraint Hierarchies.
In: Lisp and Symbolic Computation
5 (1992), September, Nr. 3, S. 223-270. -
URL ftp://ftp.cs.washington.edu/pub/constraints/papers/constraint-hierarchies-lisp-symb-comp.pdf. - Zugriffsdatum: 27. Oktober 2004. -
Zugl.: (Borning et al., 1994) und (Jampel et al., 1996), S. 23-62. -
ISSN 0892-4635
Borning et al. 1994 BORNING, Alan ; FREEMAN-BENSON, Bjørn N. ; WILSON, Molly:: Constraint Hierarchies.
In: MAYOH, Brian (Hrsg.) ; TYUGU, Enn (Hrsg.) ; PENJAM, Jaan (Hrsg.): Constraint Programming - Proceedings of the NATO Advanced Study Institute on Constraint Programming, Pärnu, Estonia, 13.-24. August 1993.
Berlin, Heidelberg, New York : Springer Verlag, September 1994
(NATO ASI Series F: Computer and System Sciences Vol. 131), Kap. 2.2, S. 75-115. -
URL http://www-2.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/prolog/txt/proc/natobook.tgz. - Zugriffsdatum: 3. März 2005. -
Zugl.: (Borning et al., 1992) und (Jampel et al., 1996), S. 23-62. -
ISBN 3-540-57859-5
Borrett et al. 1995 BORRETT, James E. ; TSANG, Edward P. K. ; WALSH, Natasha R.:: Adaptive Constraint Satisfaction: The Quickest First Principle
/ University of Essex, Department of Computer Science.
Wivenhoe Park, Colchester, UK, 13. November 1995
(Technical Report CSM-256). - Forschungsbericht. -
25 S. -
URL http://cswww.essex.ac.uk/CSP/papers/CSM-256.ps.Z. - Zugriffsdatum: 9. November 2004.
Gekürzte Fassung: (Borrett et al., 1996b)
Borrett et al. 1996a BORRETT, James E. ; TSANG, Edward P. K. ; WALSH, Natasha R.:: Adaptive Constraint Satisfaction.
In: Proceedings of the 15th Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG'96).
University of Liverpool, UK, 21.-22. November 1996. -
URL http://cswww.essex.ac.uk/CSP/papers/BoTsWa-Acs-planningsig96.pdf. - Zugriffsdatum: 9. November 2004
Borrett et al. 1996b BORRETT, James E. ; TSANG, Edward P. K. ; WALSH, Natasha R.:: Adaptive Constraint Satisfaction: The Quickest First Principle.
In: WAHLSTER, Wolfgang (Hrsg.): Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96), Budapest, Hungary, 11.-16. August 1996.
Chichester, London, New York : John Wiley & Sons, 1996, S. 160-164. -
Ausführliche Version: (Borrett et al., 1995). -
ISBN 0-471-96809-9
Bronstein et al. 1996 BRONSTEIN, Ilja N. ; SEMENDJAJEW, Konstantin A. ; GROSCHE, Günter ; ZIEGLER, Viktor ; ZIEGLER, Dorothea ; ZEIDLER, Eberhard (Hrsg.):: Teubner-Taschenbuch der Mathematik. Bd. I.
1. Aufl. XXVI.
Stuttgart, Leipzig : B. G. Teubner Verlagsgesellschaft, Mai 1996. -
xxv + 1298 S. -
ISBN 3-8154-2001-6
Broy 1992 BROY, Manfred:: Informatik, Eine grundlegende Einführung. Bd. I.
Berlin, Heidelberg, New York : Springer Verlag, 1992. -
xii + 250 S. -
ISBN 3-540-55191-3
Broy 1995 BROY, Manfred:: Informatik, Eine grundlegende Einführung. Bd. IV.
Berlin, Heidelberg, New York : Springer Verlag, 1995. -
ix + 215 S. -
ISBN 3-540-58602-4
CampusPress 2002 Technologie-Zentrum Informatik gewinnt internationalen Innovationspreis: / CampusPress.
Pressestelle der Universität Bremen, 14. Juni 2002.
- Pressemitteilung Nr. 135. -
URL http://www.uni-bremen.de/campus/campuspress/altpress/02-135.php3. - Zugriffsdatum: 8. November 2004
Cheeseman et al. 1991 CHEESEMAN, Peter ; KANEFSKY, Bob ; TAYLOR, William M.:: Where the Really Hard Problems Are.
In: MYLOPOULOS, John (Hrsg.) ; REITER, Raymond (Hrsg.): Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91), Sydney, Australia, 24.-30. August 1991 Bd. 1.
San Mateo, California, USA : Morgan Kaufmann Publishers, Dezember 1991, S. 331-337. -
URL http://ic-www.arc.nasa.gov/ic/projects/bayes-group/NP/ijcai91/phases-for-web.ps. - Zugriffsdatum: 12. Oktober 2004. -
ISBN 1-55860-160-0
Chen und van Beek 2001 CHEN, Xinguang ; BEEK, Peter van:: Conflict-Directed Backjumping Revisited.
In: Journal of Artificial Intelligence Research (JAIR)
14 (2001), S. 53-81. -
URL http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume14/chen01a.pdf. - Zugriffsdatum: 21. September 2004
Chmeiss 1996 CHMEISS, Assef:: Sur la Consistance de Chemin et ses Formes partielles.
In: Actes du Congrès de l'Association Française pour la Cybernétique Economique et Technique de Reconnaissance des Formes et Intelligence Artificielle (AFCET-RFIA'96).
Rennes, France, 16.-18. Januar 1996, S. 212-219
Chmeiss und Jégou 1995 CHMEISS, Assef ; JÉGOU, Philippe:: Partial and Global Path Consistency Revisited
/ Laboratoire d'Informatique de Marseille.
France, 1995
(Technical Report 120.95). - Forschungsbericht
Chmeiss und Jégou 1996a CHMEISS, Assef ; JÉGOU, Philippe:: Path-Consistency: When Space Misses Time.
In: (Clancey et al., 1996), S. 196-201. -
ISBN 0-262-51091-X
Chmeiss und Jégou 1996b CHMEISS, Assef ; JÉGOU, Philippe:: Two New Constraint Propagation Algorithms Requiring Small Space Complexity.
In: RADLE, Mark G. (Hrsg.): Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'96), Toulousse, France, 16.-19. November 1996.
Los Alamitos, California, USA, : IEEE Computer Society Press, 1996, S. 286-289. -
ISBN 0-8186-7686-8
Chmeiss und Jégou 1998 CHMEISS, Assef ; JÉGOU, Philippe:: Efficient Path-Consistency Propagation.
In: International Journal on Artificial Intelligence Tools (IJAIT)
7 (1998), M ${\^{^\/}}$ barz, Nr. 2, S. 121-142. -
ISSN 0218-2130
Chopra 1997 CHOPRA, Rajiv:: An Architecture for Exploiting Qualitative Scene-Specific Context in High-Level Computer Vision.
Buffalo, New York, USA, The State University of New York at Buffalo, Center of Excellence for Document Analysis and Recognition (CEDAR), PhD Thesis, Juni 1997. -
URL http://www.cedar.buffalo.edu/~rchopra/diss.ps.gz. - Zugriffsdatum: 21. September 2004. -
ix + 120 S.
Chun 1999a CHUN, Andy Hon Wai:: Constraint Programming in Java with JSolver.
In: Proceedings of the 1st International Conference and Exhibition on Practical Application of Constraint Technologies and Logic Programming (PACLP'99), London, UK, 19.-21. April 1999.
Blackpool, Lancashire, UK : The Practical Applications Company, 1999. -
URL http://www.cs.cityu.edu.hk/~hwchun/research/PDF/PACLP99JSolver.pdf. - Zugriffsdatum: 15. Februar 2005
Chun 1999b CHUN, Andy Hon Wai:: Constraint Programming in Java with JSolver 2.0 - An Introduction
/ City University of Hong Kong, Department of Electronic Engineering.
Kowloon, Hong Kong, 15. November 1999.
- Forschungsbericht. -
URL http://www.e-optimization.com/resources/uploads/JSolver_2.0_Intro.pdf. - Zugriffsdatum: 15. Februar 2005
Chun 1999c CHUN, Andy Hon Wai:: Waltz Filtering in Java with JSolver.
In: Proceedings of the 1st International Conference and Exhibition on Practical Application of Java (PA Java'99), London, UK, 21.-23. April 1999.
Blackpool, Lancashire, UK : The Practical Applications Company, 1999. -
URL http://www.cs.cityu.edu.hk/~hwchun/research/PDF/PAJava99Waltz.pdf. - Zugriffsdatum: 15. Februar 2005
Clancey et al. 1996 CLANCEY, William J. (Hrsg.) ; WELD, Dan (Hrsg.) ; SHROBE, Howard E. (Hrsg.) ; SENATOR, Ted E. (Hrsg.):: Proceedings of the 13th National Conference on Artificial Intelligence (AAAI'96) and 8th Conference on Innovative Applications of Artificial Intelligence (IAAI'96), Portland, Oregon, USA, 4.-8. August 1996.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, 1996. -
ISBN 0-262-51091-X
Claus und Schwill 2001 CLAUS, Volker (Hrsg.) ; SCHWILL, Andreas (Hrsg.):: Duden Informatik, Ein Fachlexikon für Studium und Praxis.
3. Aufl.
Mannheim, Leipzig, Wien, Zürich : Dudenverlag, Bibliographisches Institut, 2001. -
762 S. -
ISBN 3-411-05233-3
Cleary 1987 CLEARY, John G.:: Logical Arithmetic.
In: Future Computing Systems
2 (1987), Nr. 2, S. 125-149. -
ISSN 0266-7207
Cohen 1990 COHEN, Jacques:: Constraint Logic Programming Languages.
In: Communications of the ACM (CACM)
33 (1990), Juli, Nr. 7, S. 52-68. -
ISSN 0001-0782
Collavizza et al. 1998 COLLAVIZZA, Hélène ; DELOBEL, François ; RUEHER, Michel:: A Note on Partial Consistencies over Continuous Domains.
In: MAHER, Michael J. (Hrsg.) ; PUGET, Jean-François (Hrsg.): Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming (CP'98), Pisa, Italy, 26.-30. Oktober 1998.
Berlin, Heidelberg, New York : Springer Verlag, 1998
(LNCS 1520), S. 147-161. -
URL http://www.essi.fr/~rueher/Publis/cp98.pdf. - Zugriffsdatum: 14. September 2004. -
Erweiterte Fassung: (Collavizza et al., 1999). -
ISBN 3-540-21834-3
Collavizza et al. 1999 COLLAVIZZA, Hélène ; DELOBEL, François ; RUEHER, Michel:: Comparing Partial Consistencies.
In: Reliable Computing
5 (1999), August, Nr. 3, S. 213-228. -
URL http://www.essi.fr/~rueher/Publis/reliable_comp99.ps. - Zugriffsdatum: 14. September 2004. -
Vorhergehende Version: (Collavizza et al., 1998). -
ISSN 1385-3139
Cooper 1989 COOPER, Martin C.:: An Optimal k-Consistency Algorithm.
In: Artificial Intelligence
41 (1989), November, Nr. 1, S. 89-95. -
ISSN 0004-3702
COPRIN 2004 ALIAS-C++ - A C++ Algorithms Library of Interval Analysis for equation Systems: / The COPRIN Project, INRIA.
Sophia Antipolis, France, September 2004
(Version 2.3). - Handbuch. -
190 S. -
URL http://www-sop.inria.fr/coprin/logiciels/ALIAS/ALIAS-C++/manual-alias-C++2.3.ps. - Zugriffsdatum: 11. Februar 2005
Cruz und Barahona 1999 CRUZ, Jorge ; BARAHONA, Pedro:: An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support.
In: (Jaffar, 1999), S. 478-479 (Poster). -
URL http://ssdi.di.fct.unl.pt/~jc/CruzCP99.pdf. - Zugriffsdatum: 14. September 2004. -
ISBN 3-540-66626-5
Cruz und Barahona 2001 CRUZ, Jorge ; BARAHONA, Pedro:: Global Hull Consistency with Local Search for Continuous Constraint Solving.
In: BRAZDIL, Pavel (Hrsg.) ; JORGE, Alípio (Hrsg.): Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, Proceedings of the 10th Portuguese Conference on Artificial Intelligence (EPIA'01), Porto, Portugal, 17.-20. Dezember 2001.
Berlin, Heidelberg, New York : Springer Verlag, 2001
(LNCS 2258), S. 349-362. -
URL http://ssdi.di.fct.unl.pt/~jc/CruzEpia01.pdf. - Zugriffsdatum: 17. September 2004. -
ISBN 3-540-43030-X
Cruz und Barahona 2003 CRUZ, Jorge ; BARAHONA, Pedro:: Maintaining Global Hull Consistency with Local Search for Continuous CSPs.
In: BLIEK, Christian (Hrsg.) ; JERMANN, Christophe (Hrsg.) ; NEUMAIER, Arnold (Hrsg.): Global Optimization and Constraint Satisfaction, Proceedings of the 1st International Workshop on Global Constraint Optimization and Constraint Satisfaction (COCOS'02), Valbonne-Sophia Antipolis, France, 2.-4. Oktober 2002, Revised Selected Papers.
Berlin, Heidelberg, New York : Springer Verlag, 2003
(LNCS 2861), S. 178-193. -
URL http://ssdi.di.fct.unl.pt/~jc/CruzCocos02_postprocs.pdf. - Zugriffsdatum: 17. September 2004. -
ISBN 3-540-20463-6
Cunis 1991 CUNIS, Roman:: Modellierung technischer Systeme in der Begriffshierarchie.
In: (Cunis et al., 1991), Kap. 5, S. 58-76. -
ISBN 3-540-53683-3
Cunis und Günter 1991 CUNIS, Roman ; GÜNTER, Andreas:: PLAKON - Übersicht über das System.
In: (Cunis et al., 1991), Kap. 4, S. 37-57. -
ISBN 3-540-53683-3
Cunis et al. 1991 CUNIS, Roman (Hrsg.) ; GÜNTER, Andreas (Hrsg.) ; STRECKER, Helmut (Hrsg.):: Das PLAKON-Buch, Ein Expertensystemkern für Planungs- und Konfigurierungsaufgaben in technischen Domänen.
Berlin, Heidelberg, New York : Springer Verlag, 1991
(Informatik-Fachberichte, Subreihe Künstliche Intelligenz 266). -
279 S. -
ISBN 3-540-53683-3
Davis 1987 DAVIS, Ernest:: Constraint Propagation with Interval Labels.
In: Artificial Intelligence
32 (1987), Juli, Nr. 3, S. 281-331. -
ISSN 0004-3702
Debruyne 1998 DEBRUYNE, Romuald:: Removing more Values than Max-Restricted Path Consistency for the same Cost
/ LIRMM, Université de Montpellier II.
Montpellier, France, 1998
(Technical Report TR-98-041). - Forschungsbericht. -
21 S. -
URL http://debruyne.ifrance.com/debruyne/tr98041.pdf. - Zugriffsdatum: 16. September 2004
Debruyne 2000 DEBRUYNE, Romuald:: A Property of Path Inverse Consistency Leading to an Optimal PIC Algorithm.
In: HORN, Werner (Hrsg.): Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), Berlin, 20.-25. August 2000.
Amsterdam, The Netherlands : IOS Press, 2000
(Frontiers in Artificial Intelligence and Applications 54), S. 88-92. -
URL http://debruyne.ifrance.com/debruyne/ecai2000.pdf. - Zugriffsdatum: 19. September 2004. -
ISBN 1-586-03013-2
Debruyne und Bessière 1997a DEBRUYNE, Romuald ; BESSIÈRE, Christian:: From Restricted Path Consistency to Max-Restricted Path Consistency.
In: SMOLKA, Gert (Hrsg.): Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP'97), Schloss Hagenberg, Linz, Austria, 29. Oktober - 1. November 1997.
Berlin, Heidelberg, New York : Springer Verlag, 1997
(LNCS 1330), S. 312-326. -
URL http://debruyne.ifrance.com/debruyne/cp97.pdf. - Zugriffsdatum: 15. September 2004. -
ISBN 3-540-63753-2
Debruyne und Bessière 1997b DEBRUYNE, Romuald ; BESSIÈRE, Christian:: Some Practicable Filtering Techniques for the Constraint Satisfaction Problem.
In: (Pollack und Georgeff, 1997), S. 412-417. -
URL http://debruyne.ifrance.com/debruyne/ijcai97.pdf. - Zugriffsdatum: 15. September 2004. -
ISBN 1-558-60480-4
Debruyne und Bessière 2001 DEBRUYNE, Romuald ; BESSIÈRE, Christian:: Domain Filtering Consistencies.
In: Journal of Artificial Intelligence Research (JAIR)
14 (2001), Mai, S. 205-230. -
URL http://www.emn.fr/x-info/rdebruyn/jair01.pdf. - Zugriffsdatum: 21. September 2004
Dechter 1990a DECHTER, Rina:: Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition.
In: Artificial Intelligence
41 (1990), Januar, Nr. 3, S. 273-312. -
ISSN 0004-3702
Dechter 1990b DECHTER, Rina:: On the Expressiveness of Networks with Hidden Variables.
In: DIETTERICH, Thomas (Hrsg.) ; SWARTOUT, William (Hrsg.): Proceedings of the 8th National Conference on Artificial Intelligence (AAAI'90), Boston, Massachusetts, USA, 29. Juli - 3. August 1990.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, 1990, S. 556-562. -
URL http://www.ics.uci.edu/~csp/r13.pdf. - Zugriffsdatum: 15. September 2004. -
ISBN 0-262-51057-X
Dechter 1992 DECHTER, Rina:: Constraint Networks.
In: SHAPIRO, Stuart C. (Hrsg.): Encyclopedia of Artificial Intelligence Bd. 1.
2. Aufl.
Chichester, London, New York : John Wiley & Sons, Februar 1992, S. 276-285. -
URL http://www.ics.uci.edu/~csp/r17-survey.pdf. - Zugriffsdatum: 16. September 2004. -
ISBN 0-4715-0307-X
Dechter 1999 DECHTER, Rina:: Constraint Satisfaction.
In: WILSON, Robert A. (Hrsg.) ; KEIL, Frank C. (Hrsg.): The MIT Encyclopedia of the Cognitive Sciences (MITECS).
Cambridge, Massachusetts, USA : Bradford Books/The MIT Press, 1. Juni 1999, S. 195-197. -
URL http://www.ics.uci.edu/~csp/R68.pdf. - Zugriffsdatum: 16. September 2004. -
ISBN 0-262-73124-X
Dechter 2000 DECHTER, Rina (Hrsg.):: Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming (CP 2000), Singapore, 18.-21. September 2000.
Berlin, Heidelberg, New York : Springer Verlag, 2000.
(LNCS 1894). -
ISBN 3-540-41053-8
Dechter und Dechter 1988 DECHTER, Rina ; DECHTER, Avi:: Belief Maintenance in Dynamic Constraint Networks.
In: MITCHELL, Tom M. (Hrsg.) ; SMITH, Reid G. (Hrsg.): Proceedings of the 7th National Conference on Artificial Intelligence (AAAI'88), St. Paul, Minnesota, USA, 21.-26. August 1988.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, 1988, S. 37-42. -
URL http://www.ics.uci.edu/~csp/r5.pdf. - Zugriffsdatum: 20. Oktober 2004. -
ISBN 0-262-51055-3
Dechter und Frost 1998 DECHTER, Rina ; FROST, Daniel:: Backtracking Algorithms for Constraint Satisfaction Problems - a Tutorial Survey
/ University of California, Irvine (UCI), Information and Computer Science Department (ICS).
Irvine, California, USA, 1998.
- Forschungsbericht. -
57 S. -
URL http://citeseer.ist.psu.edu/dechter98backtracking.html. - Zugriffsdatum: 20. September 2004.
Überarb. Fassung: (Dechter und Frost, 2002)
Dechter und Frost 2002 DECHTER, Rina ; FROST, Daniel:: Backjump-based Backtracking for Constraint Satisfaction Problems.
In: Artificial Intelligence
136 (2002), April, Nr. 2, S. 147-188. -
Vorhergehende Version: (Dechter und Frost, 1998). -
ISSN 0004-3702
Dechter und Meiri 1994 DECHTER, Rina ; MEIRI, Itay:: Experimental Evaluation of Preprocessing Algorithms for Constraint Satisfaction Problems.
In: Artificial Intelligence
68 (1994), August, Nr. 2, S. 211-241. -
Vorhergehende Version: (Sridharan, 1989), S. 271-277. -
ISSN 0004-3702
Dechter et al. 1991 DECHTER, Rina ; MEIRI, Itay ; PEARL, Judea:: Temporal Constraint Networks.
In: Artificial Intelligence
49 (1991), Mai, Nr. 1-3, S. 61-95. -
URL http://www.ics.uci.edu/~csp/r10.pdf. - Zugriffsdatum: 17. Oktober 2004. -
Vorhergehende Version: Brachman, Ronald J. ; Levesque, Hector J. ; Reiter, Raymond: Proceedings of KR'89, Morgan Kaufmann Publishers, 1989, S. 83-93. -
ISSN 0004-3702
Dechter und Pearl 1987 DECHTER, Rina ; PEARL, Judea:: Network-Based Heuristics for Constraint-Satisfaction Problems.
In: Artificial Intelligence
34 (1987), Dezember, Nr. 1, S. 1-38. -
Eine leicht überarb. Fassung erschien in: Kanal, Laveen N. (Hrsg.) ; Kumar, Vipin (Hrsg.): Search in Artificial Intelligence, Springer Verlag, 1988, S. 370-425. -
ISSN 0004-3702
Dechter und Pearl 1989 DECHTER, Rina ; PEARL, Judea:: Tree Clustering for Constraint Networks.
In: Artificial Intelligence
38 (1989), April, Nr. 3, S. 353-366. -
ISSN 0004-3702
Dechter und Rossi 2003 DECHTER, Rina ; ROSSI, Francesca:: Constraint Satisfaction.
In: NADEL, Lynn (Hrsg.): Encyclopedia of Cognitive Science (ECS) Bd. 1.
London, New York, Tokyo : Nature Publishing Group/Macmillan Publishers, Juli 2003, S. 793-780. -
URL http://www.ics.uci.edu/~csp/r85.pdf. - Zugriffsdatum: 16. September 2004. -
ISBN 0-333-79261-0
Dent und Mercer 1994a DENT, Michael J. ; MERCER, Robert E.:: Minimal Forward Checking.
In: Proceedings of the 6th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'94), 6.-9. November 1994, New Orleans, Louisiana, USA.
Los Alamitos, California, USA, : IEEE Computer Society Press, 1994, S. 432-438. -
URL http://www.csd.uwo.ca/tech-reports/374/tai94.ps.Z. - Zugriffsdatum: 16. September 2004. -
Ausführliche Version: (Dent und Mercer, 1994b). -
ISBN 0-8186-6785-0
Dent und Mercer 1994b DENT, Michael J. ; MERCER, Robert E.:: Minimal Forward Checking
/ University of Western Ontario, Computer Science Department.
London, Ontario, Canada, 3. Februar 1994
(Technical Report UWO-CSD-374). - Forschungsbericht. -
38 S. -
URL http://www.csd.uwo.ca/tech-reports/374/minfc.techreport.ps.Z. - Zugriffsdatum: 16. September 2004.
Revidierte und gekürzte Fassung: (Dent und Mercer, 1994a)
Diaz und Codognet 2001 DIAZ, Daniel ; CODOGNET, Philippe:: Design and Implementation of the GNU Prolog System.
In: Journal of Functional and Logic Programming (JFLP)
2001 (2001), Oktober, Nr. 6. -
URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S01-02/JFLP-A01-06.pdf. - Zugriffsdatum: 13. Januar 2005. -
ISSN 1080-5230
van Dongen 2002a DONGEN, Marc R. C. van:: AC- an Efficient Arc-Consistency Algorithm with a Low Space-Complexity
/ Cork Constraint Computation Centre.
Cork, Ireland, Juni 2002
(Technical Report TR-01-2002). - Forschungsbericht. -
22 S. -
URL http://csweb.ucc.ie/~dongen/papers/4C/02/4C-01-2002.pdf. - Zugriffsdatum: 17. September 2004.
Gekürzte Fassung: (van Dongen, 2002b)
van Dongen 2002b DONGEN, Marc R. C. van:: AC- an Efficient Arc-Consistency Algorithm with a Low Space-Complexity.
In: VAN HENTENRYCK, Pascal (Hrsg.): Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming (CP'02), Ithaca, New York, USA, 8.-13. September 2002.
Berlin, Heidelberg, New York : Springer Verlag, 2002
(LNCS 2470), S. 755-760. -
URL http://csweb.ucc.ie/~dongen/papers/CP/02/cp02.pdf. - Zugriffsdatum: 14. September 2004. -
Ausführliche Version: (van Dongen, 2002a). -
ISBN 3-540-44120-4
Donnelly und Stallman 2002 DONNELLY, Charles ; STALLMAN, Richard:: Bison, The YACC-compatible Parser Generator
/ Free Software Foundation.
Boston, Massachusetts, USA, 25. Februar 2002
(Version 1.35). - Manual. -
iv + 101 S. -
URL ftp://prep.ai.mit.edu/pub/gnu/Manuals/bison/ps/bison.ps.gz. - Zugriffsdatum: 8. November 2005
Eckstein 2000 ECKSTEIN, Robert:: XML - kurz & gut.
2., korrigierter Nachdruck.
Köln : O'Reilly Verlag, Juli 2000. -
110 S. -
ISBN 3-89721-219-6
Embacher und Oberhuemer 2003 EMBACHER, Franz (Hrsg.) ; OBERHUEMER, Petra (Hrsg.):: mathe online.
Universität Wien, Österreich : Future Media. Verein zur Förderung multimedialer Qualitätsprodukte, Stand: 7. November 2003. -
URL http://www.mathe-online.at. - Zugriffsdatum: 8. April 2004
Emde et al. 1996 EMDE, Werner ; BEILKEN, Christian ; BÖRDING, Josef ; ORTH, Wolfgang ; PETERSEN, Ulrike ; RAHMER, Jörg ; SPENKE, Michael ; VOSS, Angi ; WROBEL, Stefan:: Configuration of Telecommunication Systems in KIKon.
In: FALTINGS, Boi V. (Hrsg.) ; FREUDER, Eugene C. (Hrsg.): Configuration - Papers from the AAAI Fall Symposium, Technical Report FS-96-03, Boston, Massachusetts, USA, 9.-11. November 1996.
Menlo Park, California, USA : AAAI Press, 1996, S. 105-110. -
URL http://citeseer.ist.psu.edu/263105.html. - Zugriffsdatum: 14. September 2004. -
ISBN 1-57735-018-9
van Emden 2002 EMDEN, Maarten H. van:: Interval Constraints
/ University of Victoria, Computer Science Department.
British Columbia, Canada, Stand: 26. Dezember 2002.
- Tutorial. -
URL http://csr.uvic.ca/~vanemden/research/intConstrInd.html. - Zugriffsdatum: 19. April 2005
Faltings 1994 FALTINGS, Boi V.:: Arc-Consistency for Continuous Variables.
In: Artificial Intelligence
65 (1994), Februar, Nr. 2, S. 363-376. -
URL http://liawww.epfl.ch/Publications/Archive/Faltings1994.pdf. - Zugriffsdatum: 14. September 2004. -
ISSN 0004-3702
Faltings et al. 1999 FALTINGS, Boi V. (Hrsg.) ; FREUDER, Eugene C. (Hrsg.) ; FRIEDRICH, Gerhard (Hrsg.) ; FELFERNIG, Alexander (Hrsg.):: Configuration - Papers from the AAAI Workshop at the 16th National Conference on Artificial Intelligence (AAAI'99), Orlando, Florida, USA, 18.-22. Juli 1999, AAAI Workshop Technical Report WS-99-05.
Menlo Park, California, USA : AAAI Press, 1999. -
x + 140 S. -
ISBN 1-57735-089-8
Faltings und Gelle 1997 FALTINGS, Boi V. ; GELLE, Esther:: Local Consistency for Ternary Numeric Constraints.
In: (Pollack und Georgeff, 1997), S. 392-397. -
URL http://liawww.epfl.ch/Publications/Archive/Faltings1997d.pdf. - Zugriffsdatum: 15. September 2004. -
ISBN 1-558-60480-4
Faltings und Macho-Gonzalez 2002 FALTINGS, Boi V. ; MACHO-GONZALEZ, Santiago:: Open Constraint Satisfaction.
In: VAN HENTENRYCK, Pascal (Hrsg.): Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming (CP'02), Ithaca, New York, USA, 8.-13. September 2002.
Berlin, Heidelberg, New York : Springer Verlag, 2002
(LNCS 2470), S. 356-370. -
URL http://liawww.epfl.ch/Publications/Archive/Faltings2002a.pdf. - Zugriffsdatum: 8. November 2004. -
ISBN 3-540-44120-4
Faltings und Macho-Gonzalez 2003 FALTINGS, Boi V. ; MACHO-GONZALEZ, Santiago:: Open Constraint Optimization.
In: ROSSI, Francesca (Hrsg.): Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP'03), Kinsale, Ireland, 29. September - 3. Oktober 2003.
Berlin, Heidelberg, New York : Springer Verlag, 2003
(LNCS 2833), S. 303-317. -
URL http://liawww.epfl.ch/Publications/Archive/Faltings2003b.pdf. - Zugriffsdatum: 11. November 2004. -
ISBN 3-540-20202-1
Fayad und Schmidt 1997 FAYAD, Mohamed ; SCHMIDT, Douglas C.:: Object-oriented application frameworks.
In: Communications of the ACM (CACM)
40 (1997), Oktober, Nr. 10, S. 32-38. -
ISSN 0001-0782
Felfernig et al. 2002 FELFERNIG, Alexander ; FRIEDRICH, Gerhard ; JANNACH, Dietmar ; ZANKER, Markus:: Semantic Configuration Web Services in the CAWICOMS Project.
In: HORROCKS, Ian (Hrsg.) ; HENDLER, James A. (Hrsg.): The Semantic Web - Proceedings of the 1st International Semantic Web Conference (ISWC'02), Sardinia, Italy, 9.-12. Juni 2002.
Berlin, Heidelberg, New York : Springer Verlag, 2002
(LNCS 2342), S. 192-205. -
URL http://www.cawicoms.org/publications/2002/2002-0132-AFGF.pdf. - Zugriffsdatum: 15. September 2004. -
ISBN 3-540-43760-6
Fleischanderl 1999 FLEISCHANDERL, Gerhard:: Overview of Configurators as Effective Tools for Corporate Knowledge Management.
In: (Faltings et al., 1999), S. 110-113. -
ISBN 1-57735-089-8
Fleischanderl et al. 1998 FLEISCHANDERL, Gerhard ; FRIEDRICH, Gerhard E. ; HASELBÖCK, Alois ; SCHREINER, Herwig ; STUMPTNER, Markus:: Configuring Large Systems Using Generative Constraint Satisfaction.
In: IEEE Intelligent Systems
13 (1998), Juli/August, Nr. 4, S. 59-68. -
ISSN 1094-7167
Fowler und Scott 2000 FOWLER, Martin ; SCOTT, Kendall:: UML konzentriert - Eine strukturierte Einführung in die Standard-Objektmodellierungssprache.
2., aktual. Aufl.
München : Addison-Wesley, 2000
(Professionelle Softwarewareentwicklung). -
xvii + 179 S. -
ISBN 3-8273-1617-0
Frank et al. 2003a FRANK, Stephan ; HOFSTEDT, Petra ; MAI, Pierre R.:: A Flexible Meta-Solver Framework for Constraint Solver Collaboration.
In: GÜNTER, Andreas (Hrsg.) ; KRUSE, Rudolf (Hrsg.) ; NEUMANN, Bernd (Hrsg.): Proceedings of the 26th Annual German Conference on AI (KI'03): Advances in Artificial Intelligence, Hamburg, Germany, 15.-18. September 2003.
Berlin, Heidelberg, New York : Springer Verlag, 2003
(LNCS 2821), S. 520-534. -
URL http://uebb.cs.tu-berlin.de/~ph/ph.papers/ki2003.pdf. - Zugriffsdatum: 24. Mai 2005. -
ISBN 3-540-20059-2
Frank et al. 2003b FRANK, Stephan ; HOFSTEDT, Petra ; MAI, Pierre R.:: Meta-S: A Strategy-Oriented Meta-Solver Framework.
In: RUSSELL, Ingrid (Hrsg.) ; HALLER, Susan M. (Hrsg.): Proceedings of the 16th International Florida Artificial Intelligence Research Society Conference (FLAIRS'03), Special Track on Constraint Solving and Programming, St. Augustine, Florida, USA, 12.-14. Mai 2003.
Menlo Park, California, USA : AAAI Press, 2003, S. 177-181. -
URL http://uebb.cs.tu-berlin.de/~ph/ph.papers/flairs2003.pdf. - Zugriffsdatum: 24. Mai 2005. -
ISBN 1-57735-177-0
Freuder 1978 FREUDER, Eugene C.:: Synthesizing Constraint Expressions.
In: Communications of the ACM (CACM)
21 (1978), November, Nr. 11, S. 958-966. -
ISSN 0001-0782
Freuder 1982 FREUDER, Eugene C.:: A Sufficient Condition for Backtrack-Free Search.
In: Journal of the ACM (JACM)
29 (1982), Januar, Nr. 1, S. 24-32. -
ISSN 0004-5411
Freuder 1985 FREUDER, Eugene C.:: A Sufficient Condition for Backtrack-Bounded Search.
In: Journal of the ACM (JACM)
32 (1985), Oktober, Nr. 4, S. 755-761. -
ISSN 0004-5411
Freuder 1989 FREUDER, Eugene C.:: Partial Constraint Satisfaction.
In: (Sridharan, 1989), S. 278-283. -
Erweiterte Fassung: (Freuder und Wallace, 1992), (Freuder und Mackworth, 1994), S. 21-70 und (Jampel et al., 1996), S. 63-110. -
ISBN 1-55860-094-9
Freuder 1995 FREUDER, Eugene C.:: Using Metalevel Constraint Knowledge to Reduce Constraint Checking.
In: MEYER, Manfred (Hrsg.): Constraint Processing, Selected Papers.
Berlin, Heidelberg, New York : Springer Verlag, 1995
(LNCS 923), S. 171-184. -
ISBN 3-540-59479-5
Freuder 1996 FREUDER, Eugene C. (Hrsg.):: Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (CP'96), Cambridge, Massachusetts, USA, 19.-22. August 1996.
Berlin, Heidelberg, New York : Springer Verlag, 1996.
(LNCS 1118). -
572 S. -
ISBN 3-540-61551-2
Freuder 1997 FREUDER, Eugene C.:: In Pursuit of the Holy Grail.
In: Constraints, An International Journal
2 (1997), April, Nr. 1, S. 57-61. -
Zugl.: ACM CSUR, 28 (1996), Nr. 4es, Artikel Nr. 63. -
ISSN 1383-7133
Freuder und Elfe 1996 FREUDER, Eugene C. ; ELFE, Charles D.:: Neighborhood Inverse Consistency Preprocessing.
In: (Clancey et al., 1996), S. 202-208. -
URL http://www.cs.unh.edu/~cde/aaai96-nic-prep-ecf-cde.ps.gz. - Zugriffsdatum: 15. September 2004. -
ISBN 0-262-51091-X
Freuder und Mackworth 1994 FREUDER, Eugene C. (Hrsg.) ; MACKWORTH, Alan K. (Hrsg.):: Constraint-Based Reasoning.
Cambridge, Massachusetts, USA : Bradford Books/The MIT Press, Februar 1994
(Special Issues of Artificial Intelligence). -
409 S. -
ISBN 0-262-56075-5
Freuder und Wallace 2000 FREUDER, Eugene C. ; WALLACE, Mark:: Constraint Technology and the Commercial World (Interview).
In: IEEE Intelligent Systems
15 (2000), Januar/Februar, Nr. 1, S. 20-23. -
ISSN 1094-7167
Freuder und Wallace 1992 FREUDER, Eugene C. ; WALLACE, Richard J.:: Partial Constraint Satisfaction.
In: Artificial Intelligence
58 (1992), Dezember, Nr. 1-3, S. 21-70. -
Special Volume on Constraint Based Reasoning. - Zugl.: (Freuder und Mackworth, 1994), S. 21-70 und (Jampel et al., 1996), S. 63-110. - Vorhergehende Version: (Freuder, 1989). -
ISSN 0004-3702
Frost und Dechter 1994 FROST, Daniel ; DECHTER, Rina:: In Search of the Best Constraint Satisfaction Search.
In: HAYES-ROTH, Barbara (Hrsg.) ; KORF, Richard E. (Hrsg.): Proceedings of the 12th National Conference on Artificial Intelligence (AAAI'94), Seattle, Washington, USA, 31. Juli - 4. August 1994 Bd. 1.
Menlo Park, California, USA : AAAI Press, August 1994, S. 301-306. -
URL http://www.ics.uci.edu/~csp/r35a-search-for-best-search.pdf. - Zugriffsdatum: 15. September 2004. -
ISBN 0-262-51078-2
Frost und Dechter 1995 FROST, Daniel ; DECHTER, Rina:: Look-Ahead Value Ordering for Constraint Satisfaction Problems.
In: PERRAULT, C. Raymond (Hrsg.) ; MELLISH, Chris S. (Hrsg.): Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), Montréal, Québec, Canada, 20.-25. August 1995 Bd. 1.
San Mateo, California, USA : Morgan Kaufmann Publishers, Dezember 1995, S. 572-578. -
URL http://www.ics.uci.edu/~csp/r39-look-ahead-value-ordering.pdf. - Zugriffsdatum: 10. Oktober 2004. -
ISBN 1-558-60363-8
Frost und Dechter 1996a FROST, Daniel ; DECHTER, Rina:: Looking at Full Looking Ahead
/ University of California, Irvine (UCI), Information and Computer Science Department (ICS).
Irvine, California, USA, 1996.
- Forschungsbericht. -
14 S. -
URL http://www.ics.uci.edu/~csp/dan-CP96-full.pdf. - Zugriffsdatum: 16. September 2004.
Gekürzte Fassung: (Frost und Dechter, 1996b)
Frost und Dechter 1996b FROST, Daniel ; DECHTER, Rina:: Looking at Full Looking Ahead.
In: (Freuder, 1996), S. 539-540 (Poster). -
URL http://citeseer.ist.psu.edu/frost96looking.html. - Zugriffsdatum: 16. September 2004. -
Ausführliche Version: (Frost und Dechter, 1996a). -
ISBN 3-540-61551-2
Frühwirth 1995 FRÜHWIRTH, Thom:: Constraint Handling Rules.
In: (Podelski, 1995), S. 90-107. -
URL http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/chatillon.ps.gz. - Zugriffsdatum: 10. März 2005. -
ISBN 3-540-59155-9
Frühwirth 1998 FRÜHWIRTH, Thom:: Theory and Practice of Constraint Handling Rules.
In: The Journal of Logic Programming
37 (1998), Oktober, Nr. 1-3, S. 95-138. -
URL http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/drafts/jlp-chr1.ps.Z. - Zugriffsdatum: 10. März 2005. -
Special Issue on Constraint Logic Programming. -
ISSN 0743-1066
Frühwirth und Abdennadher 1997 FRÜHWIRTH, Thom ; ABDENNADHER, Slim:: Constraint-Programmierung, Grundlagen und Anwendungen.
Berlin, Heidelberg, New York : Springer Verlag, 1997. -
ix + 165 S. -
ISBN 3-540-60670-X
Frühwirth et al. 1992 FRÜHWIRTH, Thom ; HEROLD, Alexander ; KÜCHENHOFF, Volker ; LE PROVOST, Thierry ; LIM, Pierre ; MONFROY, Eric ; WALLACE, Mark:: Contraint Logic Programming - An Informal Introduction.
In: COMYN, Gérard (Hrsg.) ; FUCHS, Norbert E. (Hrsg.) ; RATCLIFFE, Michael J. (Hrsg.): Logic Programming in Action, Proceedings of the 2nd International Logic Programming Summer School (LPSS'92), Zurich, Switzerland, 7.-11. September 1992.
Berlin, Heidelberg, New York : Springer Verlag, 1992
(LNCS 636), S. 3-35. -
URL http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/ecrc91-95/ECRC-93-05.ps.gz. - Zugriffsdatum: 22. Dezember 2004. -
Zugl.: Technical Report ECRC-93-5, ECRC Munich, Germany, February 1993. -
ISBN 3-540-55930-2
Gamma et al. 1996 GAMMA, Erich ; HELM, Richard ; JOHNSON, Ralph ; VLISSIDES, John:: Entwurfsmuster - Elemente wiederverwendbarer objektorientierter Software.
1. Aufl.
München : Addison-Wesley, 1996. -
xx + 479 S. -
ISBN 3-89319-950-0
Gaschnig 1974 GASCHNIG, John G.:: A Constraint Satisfaction Method for Inference Making.
In: Proceedings of the 12th Annual Allerton Conference on Circuit and System Theorie.
University of Illinois, Urbana-Champaign, USA, Oktober 1974, S. 866-874. -
ISSN 0569-0552
Gaschnig 1979 GASCHNIG, John G.:: Performance Measurement and Analysis of Certain Search Algorithms.
Pittsburgh, Pennsylvania, USA, Carnegie Mellon University, Computer Science Department, PhD Thesis, 1979. -
330 S. -
(Technical Report CMU-CS-79-124)
Gelle 1998 GELLE, Esther:: On the Generation of Locally Consistent Solution Spaces in Mixed Dynamic CSPs.
Lausanne (Switzerland), Swiss Federal Institute of Technology (EPFL), PhD. Thesis No. 1826, 1998. -
xx + 180 S. -
URL http://liawww.epfl.ch/Publications/Archive/Gelle1998.pdf. - Zugriffsdatum: 18. November 2004
Gelle und Faltings 2003 GELLE, Esther ; FALTINGS, Boi V.:: Solving Mixed and Conditional Constraint Satisfaction Problems.
In: Constraints, An International Journal
8 (2003), April, Nr. 2, S. 107-141. -
URL http://liawww.epfl.ch/Publications/Archive/Gelle2003.pdf. - Zugriffsdatum: 10. November 2004. -
ISSN 1383-7133
Gennari 1998 GENNARI, Rosella:: Temporal Reasoning and Constraint Programming - A Survey.
In: CWI Quarterly
11 (1998), Juni/September, Nr. 2-3, S. 163-214. -
URL ftp://ftp.cwi.nl/pub/CWIQuarterly/1998/11.2-3/gennari.pdf. - Zugriffsdatum: 17. Oktober 2004. -
ISSN 0168-826X
Gent und Prosser 2000 GENT, Ian P. ; PROSSER, Patrick:: Inside MAC and FC
/ Algorithms, Problems and Empirical Studies Research Group (APES).
Alberta, Leeds, St. Andrews, Strathclyde, York, Mai 2000
(Research Report APES-20-2000). - Forschungsbericht. -
12 S. -
URL http://www.dcs.st-and.ac.uk/~apes/reports/apes-20-2000.ps.gz. - Zugriffsdatum: 20. September 2004
Ginsberg 1993 GINSBERG, Matthew L.:: Dynamic Backtracking.
In: Journal of Artificial Intelligence Research (JAIR)
1 (1993), August, S. 25-46. -
URL http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume1/ginsberg93a.pdf. - Zugriffsdatum: 25. Oktober 2004
Godehardt und Seifert 2001 GODEHARDT, Eicke ; SEIFERT, Dirk:: Kooperation und Koordination von Constraint Solvern - Implementierung eines Prototyps, Technische Universität Berlin, Institut für Kommunikations- und Softwaretechnik, Fachgebiet Übersetzerbau und Programmiersprachen, Diplomarbeit, 22. Januar 2001. -
URL http://swt.cs.tu-berlin.de/~seifert/pub/Diplomarbeit.ps. - Zugriffsdatum: 19. Juli 2005
Grant und Smith 1995 GRANT, Stuart A. ; SMITH, Barbara M.:: The Phase Transition Behaviour of Maintaining Arc Consistency
/ University of Leeds, School of Computer Studies.
Leeds, UK, August 1995
(Research Report Series, Report 95-25). - Forschungsbericht. -
46 S. -
URL http://scom.hud.ac.uk/staff/scombms/Papers/ResearchReports/95_25.ps.gz. - Zugriffsdatum: 16. September 2004.
Revidierte und gekürzte Fassung: (Grant und Smith, 1996)
Grant und Smith 1996 GRANT, Stuart A. ; SMITH, Barbara M.:: The Phase Transition Behaviour of Maintaining Arc Consistency.
In: WAHLSTER, Wolfgang (Hrsg.): Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96), Budapest, Hungary, 11.-16. August 1996.
Chichester, London, New York : John Wiley & Sons, 1996, S. 175-179. -
Ausführliche Version: (Grant und Smith, 1995). -
ISBN 0-471-96809-9
Granvilliers 2001 GRANVILLIERS, Laurent:: On the Combination of Interval Constraint Solvers.
In: Reliable Computing
7 (2001), Dezember, Nr. 6, S. 467-483. -
ISSN 1385-3139
Granvilliers 2004 GRANVILLIERS, Laurent:: RealPaver User's Manual - Solving Nonlinear Constraints by Interval Computations
/ Université de Nantes, Laboratoire d'Informatique de Nantes Atlantique.
France, August 2004
(Edition 0.4, for RealPaver Version 0.4). - Handbuch. -
iv + 30 S. -
URL http://sourceforge.net/projects/realpaver. - Zugriffsdatum: 11. Februar 2005
Granvilliers et al. 1999 GRANVILLIERS, Laurent ; GOUALARD, Frédéric ; BENHAMOU, Frédéric:: Box Consistency through Weak Box Consistency.
In: MENG, Weiyi (Hrsg.): Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'99), 8.-10. November, Chicago, Illinois, USA.
Los Alamitos, California, USA, : IEEE Computer Society Press, 1999, S. 373-380. -
URL http://goualard.free.fr/publications/files/Granvilliers-et-al-ICTAI99.pdf. - Zugriffsdatum: 27. Mai 2005. -
ISBN ISBN 0-7695-0456-6
Granvilliers et al. 2001a GRANVILLIERS, Laurent ; MONFROY, Eric ; BENHAMOU, Frédéric:: Cooperative Solvers in Constraint Programming: A Short Introduction.
In: ALP Newsletter (Association for Logic Programming)
14 (2001), Mai, Nr. 2. -
URL http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/may01/nav/cooperation/cooperation.ps. - Zugriffsdatum: 12. Juni 2005. -
Zugl.: (Granvilliers et al., 2001b)
Granvilliers et al. 2001b GRANVILLIERS, Laurent ; MONFROY, Eric ; BENHAMOU, Frédéric:: Cooperative Solvers in Constraint Programming: A Short Introduction.
In: MONFROY, Eric (Hrsg.) ; GRANVILLIERS, Laurent (Hrsg.): Proceedings of the Workshop on Cooperative Solvers in Constraint Programming (CoSolv'01) at the 7th International Conference on Principles and Practice of Constraint Programming (CP'01).
Paphos, Zypern, 1. Dezember 2001, S. 1-6. -
URL http://www.sciences.univ-nantes.fr/info/recherche/Theme_Contraintes/cosolv/Papers/Granvilliers_Monfroy_Benhamou.pdf. - Zugriffsdatum: 1. Juni 2005. -
Zugl.: (Granvilliers et al., 2001a)
Granvilliers et al. 2001c GRANVILLIERS, Laurent ; MONFROY, Eric ; BENHAMOU, Frédéric:: Symbolic-Interval Cooperation in Constraint Programming (Survey Paper).
In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation (ISSAC'01), London, Ontario, Canada, 22.-25. Juli 2001.
New York, NY, USA : ACM Press, 2001, S. 150-166. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/GraMonBen_ISSAC2001.pdf. - Zugriffsdatum: 9. Juni 2005. -
ISBN 1-58113-417-7
Gülcü 2002 GÜLCÜ, Ceki:: Short introduction to log4j
/ The Apache Software Foundation.
Forest Hill, Maryland, USA, M ${\^{^\/}}$ barz 2002.
- Manual. -
URL http://logging.apache.org/log4j/docs/manual.html. - Zugriffsdatum: 7. November 2005.
Überarb. Fassung: (Schnelle, 2004)
Gülden 1993 GÜLDEN, Oliver:: Entwurf und Implementierung eines prototypischen Constraintsystems für das Konfigurierungswerkzeug KONWERK, Universität Hamburg, Fachbereich Informatik, Studienarbeit, Dezember 1993. -
iii + 76 S. -
(PROKON-Memo Nr. 46)
Günter 1991a GÜNTER, Andreas:: Begriffshierarchie-orientierte Kontrolle.
In: (Cunis et al., 1991), Kap. 7, S. 92-110. -
ISBN 3-540-53683-3
Günter 1991b GÜNTER, Andreas:: Expertensysteme für Konstruktionsaufgaben.
In: (Cunis et al., 1991), S. 1-3. -
ISBN 3-540-53683-3
Günter 1992 GÜNTER, Andreas:: Flexible Kontrolle in Expertensystemen zur Planung und Konfigurierung in technischen Domänen.
Sankt Augustin : Infix Verlag, 1992
(DISKI 3). -
iv + 239 S. -
Zugl.: Hamburg, Universität, Dissertation, 1991. -
ISBN 3-929037-03-3
Günter 1995a GÜNTER, Andreas:: KONWERK - ein modulares Konfigurierungswerkzeug.
In: RICHTER, Michael M. (Hrsg.) ; MAURER, Frank (Hrsg.): Expertensysteme 95, Beiträge zur 3. Deutschen Expertensystemtagung (XPS'95), Kaiserslautern, 1.-3. März 1995.
Sankt Augustin : Infix Verlag, 1995, S. 1-18. -
URL http://www.hitec-hh.de/ueberuns/home/aguenter/literatur/konwerk.pdf. - Zugriffsdatum: 15. September 2004. -
ISBN 3-932-79295-5
Günter 1995b GÜNTER, Andreas (Hrsg.):: Wissensbasiertes Konfigurieren - Ergebnisse aus dem Projekt PROKON.
Sankt Augustin : Infix Verlag, 1995. -
viii + 367 S. -
ISBN 3-929037-96-3
Günter et al. 2001 GÜNTER, Andreas ; HOLLMANN, Oliver ; RANZE, K. Christoph ; WAGNER, Thomas:: Wissensbasierte Konfiguration von komplexen variantenreichen Produkten in internetbasierten Vertriebsszenarien.
In: Künstliche Intelligenz
15 (2001), M ${\^{^\/}}$ barz, Nr. 1, S. 33-36. -
URL http://www.hitec-hh.de/ueberuns/home/aguenter/literatur/konfig_ec.pdf. - Zugriffsdatum: 15. September 2004. -
ISSN 0933-1875
Günter et al. 1999 GÜNTER, Andreas ; KREUZ, Ingo ; KÜHN, Christan:: Kommerzielle Software-Werkzeuge für die Konfigurierung von technischen Systemen.
In: Künstliche Intelligenz
13 (1999), September, Nr. 3, S. 61-65. -
URL http://www.hitec-hh.de/ueberuns/home/aguenter/literatur/konfig-tools.pdf. - Zugriffsdatum: 15. September 2004. -
ISSN 0933-1875
Günter und Kühn 1999 GÜNTER, Andreas ; KÜHN, Christian:: Knowledge-Based Configuration - Survey and Future Directions.
In: PUPPE, Frank (Hrsg.): Knowledge-Based Systems - Survey and Future Directions, Proceedings of the 5th Biannual German Conference on Knowledge-Based Systems (XPS'99), Würzburg, 3.-5. März 1999.
Berlin, Heidelberg, New York : Springer Verlag, 1999
(LNCS 1570), S. 47-66. -
URL http://www.hitec-hh.de/ueberuns/home/aguenter/literatur/xps-99.pdf. - Zugriffsdatum: 8. Oktober 2004. -
ISBN 3-540-65658-8
Güsgen 1989 GÜSGEN, Hans W.:: CONSAT - A System for Constraint Satisfaction.
San Mateo, California, USA : Morgan Kaufmann Publishers, Dezember 1989
(Research Notes in Artificial Intelligence). -
178 S. -
Zugl.: Kaiserslautern, Universität, Dissertation, 1988. -
ISBN 1-558-60093-0
Güsgen 2000 GÜSGEN, Hans W.:: Constraints.
In: GÖRZ, Günther (Hrsg.) ; ROLLINGER, Claus-Rainer (Hrsg.) ; JOSEF, Schneeberger (Hrsg.): Handbuch der Künstlichen Intelligenz.
3., vollst. überarb. Aufl.
München, Wien : Oldenbourg Verlag, 2000, Kap. 8, S. 267-287. -
ISBN 3-486-25049-3
Haag 1998 HAAG, Albert:: Sales Configuration in Business Processes.
In: IEEE Intelligent Systems
13 (1998), Juli/August, Nr. 4, S. 78-85. -
ISSN 1094-7167
Han und Lee 1988 HAN, Ching-Chih ; LEE, Chia-Hoang:: Comments on Mohr and Henderson's Path Consistency Algorithm.
In: Artificial Intelligence
36 (1988), August, Nr. 1, S. 125-130. -
ISSN 0004-3702
Haralick und Elliot 1980 HARALICK, Robert M. ; ELLIOT, Gordon L.:: Increasing Tree Search Efficiency for Constraint Satisfaction Problems.
In: Artificial Intelligence
14 (1980), Oktober, Nr. 3, S. 263-313. -
ISSN 0004-3702
Haralick und Shapiro 1979 HARALICK, Robert M. ; SHAPIRO, Linda G.:: The Consistent Labeling Problem: Part I.
In: IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI)
1 (1979), April, Nr. 2, S. 173-184. -
ISSN 0162-8828
Haroud und Faltings 1994 HAROUD, Djamila ; FALTINGS, Boi V.:: Global Consistency for Continuous Constraints.
In: BORNING, Alan (Hrsg.): Proceedings of the 2nd International Workshop on Principles and Practice of Constraint Programming (PPCP'94), Rosario, Orcas Island, Washington, USA, 2.-4. Mai 1994.
Berlin, Heidelberg, New York : Springer Verlag, 1994
(LNCS 874), S. 40-50. -
URL http://liawww.epfl.ch/Publications/Archive/Haroud1994.pdf. - Zugriffsdatum: 22. Januar 2006. -
Zugl.: Cohn, Anthony G. (Hrsg.): Proceedings of ECAI'94, John Wiley & Sons, 1994, S. 115-119. -
ISBN 3-540-58601-6
Heinrich und Jüngst 1993 HEINRICH, Michael ; JÜNGST, Ernst-Werner:: Konfigurieren technischer Einrichtungen ausgehend von den Komponenten des technischen Prozesses: Prinzip und erste Erfahrungen.
In: (Puppe und Günter, 1993), S. 98-111. -
ISBN 3-540-56464-0
Herold 1999 HEROLD, Helmut:: Linux-Unix-Profitools: awk, sed, lex, yacc und make.
3., überarb. Aufl.
Bonn : Addison-Wesley, 1999
(Linux/Unix und seine Werkzeuge). -
vi + 882 S. -
ISBN 3-8273-1448-8
Hickey 2000 HICKEY, Timothy J.:: CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.
In: PONTELLI, Enrico (Hrsg.) ; SANTOS COSTA, Vítor (Hrsg.): Proceedings of the 2nd International Workshop on Practical Aspects of Declarative Languages (PADL 2000), Boston, Massachusetts, USA 17.-18. Januar 2000.
Berlin, Heidelberg, New York : Springer Verlag, 2000
(LNCS 1753), S. 200-214. -
ISBN 3-540-66992-2
Hickey et al. 2000 HICKEY, Timothy J. ; QIU, Zhe ; EMDEN, Maarten H. van:: Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations.
In: Reliable Computing
6 (2000), Februar, Nr. 1, S. 81-92. -
URL http://csr.uvic.ca/~vanemden/Publications/graphics.pdf. - Zugriffsdatum: 14. April 2005. -
ISSN 1385-3139
Hoche et al. 2003 HOCHE, Matthias ; MÜLLER, Henry ; SCHLENKER, Hans ; WOLF, Armin:: firstcs - A Pure Java Constraint Programming Engine.
In: HANUS, Michael (Hrsg.) ; HOFSTEDT, Petra (Hrsg.) ; WOLF, Armin (Hrsg.): Proccedings of the 2nd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'03) at the 9th International Conference on Principles and Practice of Constraint Programming (CP'03).
Kinsale, County Cork, Ireland, 29. September 2003. -
URL http://uebb.cs.tu-berlin.de/MultiCPL03/Proceedings.MultiCPL03.RCoRP03.pdf. - Zugriffsdatum: 13. März 2005
Hofstedt 2000 HOFSTEDT, Petra:: Cooperating Constraint Solvers.
In: (Dechter, 2000), S. 520-524. -
URL http://uebb.cs.tu-berlin.de/~ph/ph.papers/cp2000.pdf. - Zugriffsdatum: 24. Mai 2005. -
ISBN 3-540-41053-8
Hofstedt 2001 HOFSTEDT, Petra:: Cooperation and Coordination of Constraint Solvers.
Aachen : Shaker Verlag, September 2001
(Berichte aus der Informatik 124). -
xiv + 222 S. -
URL http://uebb.cs.tu-berlin.de/~ph/ph.papers/Hofstedt.PhDThesis.2001.pdf. - Zugriffsdatum: 24. Mai 2005. -
Zugl.: Dresden, Technische Universität, Fakultät Informatik, Dissertation, 2001. -
ISBN 3-8265-9351-0
Hofstedt et al. 2001 HOFSTEDT, Petra ; SEIFERT, Dirk ; GODEHARDT, Eicke:: A Framework for Cooperating Constraint Solvers - A Prototypic Implementation.
In: MONFROY, Eric (Hrsg.) ; GRANVILLIERS, Laurent (Hrsg.): Proceedings of the Workshop on Cooperative Solvers in Constraint Programming (CoSolv'01) at the 7th International Conference on Principles and Practice of Constraint Programming (CP'01).
Paphos, Zypern, 1. Dezember 2001, S. 7-21. -
URL http://uebb.cs.tu-berlin.de/~ph/ph.papers/cosolv2001.pdf. - Zugriffsdatum: 24. Mai 2005
Hollman und Langemyr 1993 HOLLMAN, Joachim ; LANGEMYR, Lars:: Algorithms for Non-Linear Algebraic Constraints.
In: BENHAMOU, Frédéric (Hrsg.) ; COLMERAUER, Alain (Hrsg.): Constraint Logic Programming - Selected Research.
Cambridge, Massachusetts, USA : The MIT Press, 1993, Kap. 7, S. 113-131. -
ISBN 0-262-02353-9
Hollmann et al. 2000 HOLLMANN, Oliver ; WAGNER, Thomas ; GÜNTER, Andreas:: EngCon - A Flexible Domain-Independent Configuration Engine.
In: Proceedings of the Workshop on Configuration at the 14th European Conference on Artificial Intelligence (ECAI 2000).
Humboldt-Universität zu Berlin, 21.-22. August 2000, S. 94-96. -
URL http://www.hitec-hh.de/ueberuns/home/aguenter/literatur/ecai2000.pdf. - Zugriffsdatum: 15. September 2004
Hudson 1999 HUDSON, Scott E.:: CUP User's Manual
/ Georgia Institute of Technology, Graphics Visualization and Usability Center.
Atlanta, Georgia, USA, Juli 1999
(Version 0.10j). - Online Handbuch. -
URL http://www.cs.princeton.edu/~appel/modern/java/CUP/manual.html. - Zugriffsdatum: 14. September 2005
Hyvönen 1989 HYVÖNEN, Eero:: Constraint Reasoning Based on Interval Arithmetic.
In: (Sridharan, 1989), S. 1193-1198. -
ISBN 1-55860-094-9
Hyvönen 1991 HYVÖNEN, Eero:: Global Consistency in Interval Constraint Satisfaction.
In: MAYOH, Brian H. (Hrsg.): Proceedings of the 3rd Scandinavian Conference Conference on Artificial Intelligence (SCAI'91), Roskilde, Denmark, 21.-24. Mai 1991 Bd. 12.
Amsterdam, The Netherlands : IOS Press, 1991, S. 241-251. -
ISBN 90-5199-056-1
Hyvönen 1992 HYVÖNEN, Eero:: Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach.
In: Artificial Intelligence
58 (1992), Dezember, Nr. 1-3, S. 71-112. -
Special Volume on Constraint Based Reasoning. - Zugl.: (Freuder und Mackworth, 1994), S. 71-112. -
ISSN 0004-3702
ILOG 2001 ILOG Configurator: / ILOG S.A.
Gentilly Cedex, France, Januar 2001.
- Technical White Paper. -
28 S. -
URL http://www.ilog.com/products/configurator/whitepaper/index.cfm?filename=wp_configurator.pdf. - Zugriffsdatum: 3. August 2004
ILOG 2002 ILOG JSolver - Constraint Programming for the Java Platform: / ILOG S.A.
Gentilly Cedex, France, Januar 2002.
- Datasheet. -
2 S. -
URL http://www.ilog.com/products/jsolver/DS-JSolver.pdf. - Zugriffsdatum: 7. Februar 2005
ILOG 2003 ILOG JConfigurator: / ILOG S.A.
Gentilly Cedex, France, Juni 2003.
- Technical White Paper. -
24 S. -
URL http://www.ilog.com/products/jconfigurator/whitepaper/index.cfm?filename=JConfiguratorWP.pdf. - Zugriffsdatum: 3. August 2004
ILOG 2004a ILOG CPLEX - Premier choice for resource optimization solutions: / ILOG S.A.
Gentilly Cedex, France, Juni 2004.
- Datasheet. -
4 S. -
URL http://www.ilog.com/products/cplex/DS-CPLEX2004.pdf. - Zugriffsdatum: 20. Februar 2005
ILOG 2004b ILOG JSolver - Optimal scheduling, dispatching and configuration: / ILOG S.A.
Gentilly Cedex, France, Oktober 2004.
- Datasheet. -
2 S. -
URL http://www.ilog.com/products/solver/DS-Solver2004.pdf. - Zugriffsdatum: 7. Februar 2005
Jaffar 1999 JAFFAR, Joxan (Hrsg.):: Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP'99), Alexandria, Virginia, USA, 11.-14. Oktober 1999.
Berlin, Heidelberg, New York : Springer Verlag, 1999.
(LNCS 1713). -
491 S. -
ISBN 3-540-66626-5
Jaffar und Maher 1994 JAFFAR, Joxan ; MAHER, Michael J.:: Constraint Logic Programming: A Survey.
In: The Journal of Logic Programming
19/20 (1994), S. 503-581. -
URL ftp://ftp.cse.ohio-state.edu/pub/clp/papers/clp-survey.ps. - Zugriffsdatum: 26. Januar 2006. -
Special Issue: Ten Years of Logig Programming. -
ISSN 0743-1066
Jampel et al. 1996 JAMPEL, Michael (Hrsg.) ; FREUDER, Eugene C. (Hrsg.) ; MAHER, Michael J. (Hrsg.):: Over-Constrained Systems - Proceedings of the Workshop on Over-Constrained Systems (OCS'95) at the 1st International Conference on Principles and Practice of Constraint Programming (CP'95), Cassis, Marseilles, France, 18. September 1995.
Berlin, Heidelberg, New York : Springer Verlag, 1996.
(LNCS 1106). -
ISBN 3-540-61479-6
John und Geske 1999a JOHN, Ulrich ; GESKE, Ulrich:: Constraint-logische Modellierung und Bearbeitung technischer Konfigurationsprobleme - Das System ConBaCon.
In: Beiträge zum 13. Workshop ,,Planen und Konfigurieren`` (PuK'99) im Rahmen der 5. Deutschen Expertensystemtagung (XPS'99).
Universität Würzburg, 3.-5. M ${\^{^\/}}$ barz 1999, S. 10. -
URL http://www.informatik.uni-freiburg.de/~koehler/puk99-papers/geske.ps.gz. - Zugriffsdatum: 14. September 2004
John und Geske 1999b JOHN, Ulrich ; GESKE, Ulrich:: Reconfiguration of Technical Products Using ConBaCon.
In: (Faltings et al., 1999), S. 48-53. -
ISBN 1-57735-089-8
John und Geske 2001 JOHN, Ulrich ; GESKE, Ulrich:: Constraint-Based Configuration of Large Systems.
In: BARTENSTEIN, Oskar (Hrsg.) ; GESKE, Ulrich (Hrsg.) ; HANNEBAUER, Markus (Hrsg.) ; YOSHIE, Osama (Hrsg.): Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog (INAP'01), Tokyo, Japan, 20.-22. Oktober 2001, Revised Papers.
Berlin, Heidelberg, New York : Springer Verlag, 2001
(LNCS 2543), S. 217-234. -
ISBN 3-540-00680-X
John und Geske 2002 JOHN, Ulrich ; GESKE, Ulrich:: Konfiguration komplexer Produkte mit Constraint-basierter Modellierung.
In: Informatik - Forschung und Entwicklung
17 (2002), Dezember, Nr. 4, S. 167-176. -
ISSN 0178-3564
Johnson 1997a JOHNSON, Ralph E.:: Components, Frameworks, Patterns.
In: HARANDI, Medhi (Hrsg.): Proceedings of the 1997 Symposium on Software Reusability (SSR'97), Boston, Massachusetts, USA, 17.-20. Mai 1997.
New York, NY, USA : ACM Press, 1997, S. 10-17. -
URL ftp://st.cs.uiuc.edu/pub/papers/frameworks/framework97.ps. - Zugriffsdatum: 5. Januar 2006. -
Zugl.: ACM SIGSOFT Software Engineering Notes, 22 (1997), Nr. 3, S. 10-17. -
ISBN 0-89791-945-9
Johnson 1997b JOHNSON, Ralph E.:: Frameworks = (Components + Patterns).
In: Communications of the ACM (CACM)
40 (1997), Oktober, Nr. 10, S. 39-42. -
ISSN 0001-0782
Johnson 1975 JOHNSON, Stephen C.:: Yacc: Yet Another Compiler-Compiler
/ AT&T Bell Laboratories.
Murray Hill, New Jersey, USA, Juli 1975
(Computer Science Technical Report No. 32). - Forschungsbericht. -
33 S. -
URL http://dinosaur.compilertools.net/yacc/yacc.ps. - Zugriffsdatum: 8. November 2005
Johnson-Schaaf 1999 JOHNSON-SCHAAF, Jörg W.:: Kundenindividuelles Konfigurieren.
In: Der GMD-Spiegel
(1999), Nr. 1-2. -
URL http://www.gmd.de/de/GMD-Spiegel/GMD-Spiegel-1_2_99-html/pdf-version/Kikon.pdf. - Zugriffsdatum: 16. September 2004. -
ISSN 0724-4339
Jüngst und Heinrich 1998 JÜNGST, Ernst-Werner ; HEINRICH, Michael:: Using Resource Balancing to Configure Modular Systems.
In: IEEE Intelligent Systems
13 (1998), Juli/August, Nr. 4, S. 50-58. -
ISSN 1094-7167
Junker und Mailharro 2003 JUNKER, Ulrich ; MAILHARRO, Daniel:: The Logic of ILOG (J)Configurator: Combining Constraint Programming with a Description Logic.
In: MAILHARRO, Daniel (Hrsg.): Proceedings of the Workshop on Configuration at the 18th International Joint Conference on Artificial Intelligence (IJCAI'03).
Acapulco, Mexico, 11.August 2003, S. 13-20. -
URL http://www2.ilog.com/ijcai-03/Papers/IJCAI03-03.pdf. - Zugriffsdatum: 16. September 2004
Jussien und Lhomme 1998 JUSSIEN, Narendra ; LHOMME, Olivier:: Dynamic Domain Splitting for Numeric CSPs.
In: PRADE, Henri (Hrsg.): Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98), Brighton, UK, 23.-28. August 1998.
Chichester, London, New York : John Wiley & Sons, 1998, S. 224-228. -
URL http://www.emn.fr/x-info/jussien/publications/jussien-ECAI98.pdf. - Zugriffsdatum: 18. September 2004. -
ISBN 0-471-98431-0
Jussien et al. 1997 JUSSIEN, Narendra ; LHOMME, Olivier ; BOIZUMAULT, Patrice:: Dynamic Backtracking with Constraint Propagation.
In: Journée du Pôle Contraintes et Programmation Logique.
Orléans, France : Groupe de Recherche Programmation du Centre National de la Recherche Scientifique (GDR Programmation du CNRS), 12.-14. November 1997. -
URL http://www.emn.fr/jussien/publications/jussien-GDR97.pdf. - Zugriffsdatum: 20. September 2004
Ka Boon et al. 2000 KA BOON, Ng ; CHUI, Wo Choi ; HENZ, Martin ; MÜLLER, Tobias:: GIFT: A Generic Interface for reusing Filtering Algorithms.
In: BELDICEANU, Nicolas (Hrsg.) ; HARVEY, Warwick (Hrsg.) ; HENZ, Martin (Hrsg.) ; LABURTHE, François (Hrsg.) ; MONFROY, Eric (Hrsg.) ; MÜLLER, Tobias (Hrsg.) ; PERRON, Laurent (Hrsg.) ; SCHULTE, Christian (Hrsg.): Proceedings of the 1st Workshop on Techniques for Implementing Constraint Programming Systems (TRICS 2000), a post-conference Workshop of CP 2000 (veröffentlicht als technischer Bericht TRA9/00).
National University of Singapore, School of Computing, September 2000, S. 86-100. -
URL http://www.comp.nus.edu.sg/~henz/publications/ps/gift.ps. - Zugriffsdatum: 27. Februar 2005
Kahan 1968 KAHAN, William M.:: A More Complete Interval Arithmetic.
Lecture Notes for a Summer Course at the University of Michigan.
17.-21. Juni 1968
Katsirelos und Bacchus 2001 KATSIRELOS, George ; BACCHUS, Fahiem:: GAC on Conjunctions of Constraints.
In: WALSH, Toby (Hrsg.): Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Zypern, 26. November - 1. Dezember 2001.
Berlin, Heidelberg, New York : Springer Verlag, 2001
(LNCS 2239), S. 610-614. -
URL http://www.cs.toronto.edu/~fbacchus/Papers/KBCP2001.pdf. - Zugriffsdatum: 21. September 2004. -
ISBN 3-540-42863-1
Knemeyer und Schulenburg 1993 KNEMEYER, Ulrich ; SCHULENBURG, J.-Matthias Graf von der:: ,,Expertensysteme`` - Welche Faktoren fördern und hemmen die Implementation und Diffusion der Technologie in der Versicherungswirtschaft?
In: (Puppe und Günter, 1993), S. 248-261. -
ISBN 3-540-56464-0
Koalog 2005 Koalog Constraint Solver Tutorial: / Koalog SARL.
Paris, France, 2005
(Version 2.4). - Handbuch. -
23 S. -
URL http://www.koalog.com/resources/doc/jcs-tutorial.pdf. - Zugriffsdatum: 16. März 2005
Kolbe 2000 KOLBE, Thomas H.:: Identifikation und Rekonstruktion von Gebäuden in Luftbildern mittels unscharfer Constraints.
Aachen : Shaker Verlag, Juni 2000
(Berichte aus der Informatik 203). -
iii + 149 S. -
URL http://www.ikg.uni-bonn.de/kolbe/publications/Dissertation/Dissertation_farbig.pdf. - Zugriffsdatum: 15. September 2004. -
Zugl.: Vechta, Hochschule, Institut für Umweltwissenschaften, Dissertation, 1999. -
ISBN 3-8265-7454-0
Krawczyk 1969 KRAWCZYK, Rudolf:: Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken.
In: Computing
4 (1969), Nr. 3, S. 187-201. -
ISSN 0010-485X
Krebs 2002 KREBS, Thorsten:: Erkennen von Benutzerintentionen im inkrementellen Konfigurationsverlauf (am Beispiel von EngCon), Universität Bremen, Diplomarbeit, 24. April 2002. -
vi + 212 S. -
URL http://lki-www.informatik.uni-hamburg.de/~krebs/publications/diplom.pdf. - Zugriffsdatum: 8. Oktober 2004
Krebs et al. 2003 KREBS, Thorsten ; WAGNER, Thomas ; RUNTE, Wolfgang:: Recognizing User Intentions in Incremental Configuration Processes.
In: MAILHARRO, Daniel (Hrsg.): Proceedings of the Workshop on Configuration at the 18th International Joint Conference on Artificial Intelligence (IJCAI'03).
Acapulco, Mexico, 11. August 2003, S. 44-50. -
URL http://www2.ilog.com/ijcai-03/Papers/IJCAI03-08.pdf. - Zugriffsdatum: 16. September 2004
Kühn 2000 KÜHN, Christian:: Modeling Structure and Behaviour for Knowledge Based Software Configuration.
In: SAUER, Jürgen (Hrsg.) ; KÖHLER, Jana (Hrsg.): Proceedings of the 14th Workshop ``New Results in Planning, Scheduling, Configuration and Design'' (PuK 2000) at the 14th European Conference on Artificial Intelligence (ECAI 2000).
Humboldt-Universität zu Berlin, 21.-22. August 2000
(ECAI Workshop Notes), S. 90-97. -
URL http://www-is.informatik.uni-oldenburg.de/~sauer/puk2000/papers/kuehn.pdf. - Zugriffsdatum: 8. Oktober 2004
Kühn 2001 KÜHN, Christian:: Vergleich unterschiedlicher Konfigurationsmethoden im Hinblick auf die Nutzbarkeit von Wissen über Zustandsverhalten der Konfigurationsobjekte.
In: SAUER, Jürgen (Hrsg.): Proceedings of the 15th Workshop ``AI in Planning, Scheduling, Configuration and Design'' (PuK'01) at the 24th Joint German/Austrian Conference on Artificial Intelligence (KI'01).
Wien, Österreich, 18. September 2001, S. 43-55. -
URL http://www-is.informatik.uni-oldenburg.de/~sauer/puk2001/papers/kuehn.pdf. - Zugriffsdatum: 10. Oktober 2004
Kühn 2003 KÜHN, Christian:: Konfigurierung eingebetteter Systeme mit Wissen über die Struktur und das Zustandsverhalten der Konfigurationsobjekte.
In: HOTZ, Lothar (Hrsg.) ; KREBS, Thorsten (Hrsg.): Beiträge zum 17. Workshop ,,Planen, Scheduling und Konfigurieren, Entwerfen`` (PuK'03) im Rahmen der 26. Jahrestagung Künstliche Intelligenz (KI'03).
Hamburg, 15.-16. September 2003, S. 99-108. -
URL http://www-is.informatik.uni-oldenburg.de/~sauer/puk2003/paper/kuehn_puk2003.pdf. - Zugriffsdatum: 17. September 2004
Kumar 1992 KUMAR, Vipin:: Algorithms for Constraints Satisfaction Problems: A Survey.
In: AI Magazine
13 (1992), Nr. 1, S. 32-44. -
URL http://www-users.cs.umn.edu/~kumar/papers/csp-aimagazine.ps. - Zugriffsdatum: 21. September 2004. -
ISSN 0738-4602
Kwan und Tsang 1996a KWAN, Alvin C. M. ; TSANG, Edward P. K.:: Minimal Forward Checking with Backmarking
/ University of Essex, Department of Computer Science.
Wivenhoe Park, Colchester, UK, April 1996
(Technical Report CSM-260). - Forschungsbericht. -
28 S. -
URL http://cswww.essex.ac.uk/CSP/papers/CSM-260.ps.Z. - Zugriffsdatum: 16. September 2004.
Revidierte und gekürzte Fassung: (Kwan und Tsang, 1996b)
Kwan und Tsang 1996b KWAN, Alvin C. M. ; TSANG, Edward P. K.:: Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping.
In: RADLE, Mark G. (Hrsg.): Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'96), Toulousse, France, 16.-19. November 1996.
Los Alamitos, California, USA, : IEEE Computer Society Press, 1996, S. 286-289. -
URL ftp://ftp.essex.ac.uk/pub/csp/KwaTsa-ICTAI96.ps.Z. - Zugriffsdatum: 16. September 2004. -
Ausführliche Version: (Kwan und Tsang, 1996a). -
ISBN 0-8186-7686-8
Kwan 1997 KWAN, Alvin Chi Ming:: A Framework for Mapping Constraint Satisfaction Problems to Solution Methods.
Colchester, UK, University of Essex, Department of Computer Science, PhD Thesis, Juli 1997. -
xxi + 257 S. -
URL ftp://ftp.essex.ac.uk/pub/csp/Kwan_PhD.ps.zip. - Zugriffsdatum: 10. November 2004
Laudwein und Brinkop 1993 LAUDWEIN, Norbert ; BRINKOP, Axel:: Konfigurieren von Rührwerken mit COMIX.
In: (Puppe und Günter, 1993), S. 112-124. -
ISBN 3-540-56464-0
Laveuve 1975 LAVEUVE, S. E.:: Definition einer Kahan-Arithmetik und ihre Implementierung.
In: NICKEL, Karl (Hrsg.): Interval Mathematics - Proceedings of the International Symposium, Karlsruhe, 20.-24. Mai 1975.
Berlin Heidelberg, New York : Springer Verlag, 1975
(LNCS 29), S. 236-245. -
ISBN 3-540-07170-9
Lebbah und Lhomme 1998 LEBBAH, Yahia ; LHOMME, Olivier:: Acceleration Methods for Numeric CSPs.
In: RICH, Charles (Hrsg.) ; MOSTOW, Jack (Hrsg.) ; BUCHANAN, Bruce G. (Hrsg.) ; UTHURUSAMY, Ramasamy (Hrsg.): Proceedings of the 15th National Conference on Artificial Intelligence (AAAI'98) and 10th Conference on Innovative Applications of Artificial Intelligence (IAAI'98), Madison, Wisconsin, USA, 26.-30. Juli 1998.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, 1998, S. 19-24. -
URL http://www-sop.inria.fr/coprin/ylebbah/aaai.A297.ps. - Zugriffsdatum: 15. September 2004. -
ISBN 0-262-51098-7
Lebbah und Lhomme 2002 LEBBAH, Yahia ; LHOMME, Olivier:: Accelerating filtering techniques for Numeric CSPs.
In: Artificial Intelligence
139 (2002), Juli, Nr. 1, S. 109-132. -
Vorhergehende Version: (Lebbah und Lhomme, 1998). -
ISSN 0004-3702
Lesk und Schmidt 1975 LESK, Mike E. ; SCHMIDT, Eric:: Lex - A Lexical Analyzer Generator
/ AT&T Bell Laboratories.
Murray Hill, New Jersey, USA, Oktober 1975
(Computer Science Technical Report No. 39). - Forschungsbericht. -
13 S. -
URL http://dinosaur.compilertools.net/lex/lex.ps. - Zugriffsdatum: 8. November 2005
Lhomme 1993 LHOMME, Olivier:: Consistency Techniques for Numeric CSPs.
In: BAJCSY, Ruzena (Hrsg.): Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambéry, France, 28. August - 3. September 1993.
San Mateo, California, USA : Morgan Kaufmann Publishers, 1993, S. 232-238. -
ISBN 1-55860-300-X
Lhomme et al. 1998 LHOMME, Olivier ; GOTLIEB, Arnaud ; RUEHER, Michel:: Dynamic Optimization of Interval Narrowing Algorithms.
In: The Journal of Logic Programming
37 (1998), Oktober, Nr. 1-3, S. 165-183. -
URL http://www.essi.fr/~rueher/Publis/jlp97.pdf. - Zugriffsdatum: 14. September 2004. -
ISSN 0743-1066
Lhomme et al. 1996 LHOMME, Olivier ; GOTLIEB, Arnaud ; RUEHER, Michel ; TAILLIBERT, Patrick:: Boosting the Interval Narrowing Algorithm.
In: MAHER, Michael J. (Hrsg.): Logic Programing: Proceedings of the 13th Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn, 2.-6. September 1996.
Cambridge, Massachusetts, USA : The MIT Press, 1996, S. 378-392. -
URL http://www.essi.fr/~rueher/Publis/jicslp96.ps. - Zugriffsdatum: 14. September 2004. -
ISBN 0-262-63173-3
Liu 1996 LIU, Bing:: An Improved Generic Arc Consistency Algorithm and Its Specializations.
In: FOO, Norman Y. (Hrsg.) ; GOEBEL, Randy (Hrsg.): Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI'96), Topics in Artificial Intelligence, Cairns, Australia, 26.-30. August 1996.
Berlin, Heidelberg, New York : Springer Verlag, 1996
(LNCS 1114), S. 264-275. -
URL http://www.cs.uic.edu/~liub/publications/pricai96.ps. - Zugriffsdatum: 22. September 2004. -
ISBN 3-540-61532-6
Lucas 1891 LUCAS, Edouard:: Récréations Mathématiques.
2. Aufl.
Paris, France : Gauthier-Villars, 1891
Mackworth 1977a MACKWORTH, Alan K.:: Consistency in Networks of Relations.
In: Artificial Intelligence
8 (1977), Februar, Nr. 1, S. 99-118. -
ISSN 0004-3702
Mackworth 1977b MACKWORTH, Alan K.:: On Reading Sketch Maps.
In: REDDY, Raj (Hrsg.): Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI'77), Cambridge, Massachusetts, USA, 22.-25. August 1977 Bd. 2.
Los Altos, California, USA : William Kaufmann, 1977, S. 598-606. -
ISBN 0-934613-48-6
Mackworth 1992 MACKWORTH, Alan K.:: The Logic of Constraint Satisfaction.
In: Artificial Intelligence
58 (1992), Dezember, Nr. 1-3, S. 3-20. -
Special Volume on Constraint Based Reasoning. - Zugl.: (Freuder und Mackworth, 1994), S. 3-20. -
ISSN 0004-3702
Mackworth und Freuder 1985 MACKWORTH, Alan K. ; FREUDER, Eugene C.:: The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems.
In: Artificial Intelligence
25 (1985), Januar, Nr. 1, S. 65-74. -
ISSN 0004-3702
Mackworth und Freuder 1993 MACKWORTH, Alan K. ; FREUDER, Eugene C.:: The Complexity of Constraint Satisfaction Revisited.
In: Artificial Intelligence
59 (1993), Februar, Nr. 1-2, S. 57-62. -
URL http://www.cs.ubc.ca/spider/mack/links/papers/ccsr/ccsr.pdf. - Zugriffsdatum: 21. September 2004. -
ISSN 0004-3702
Marriott und Stuckey 1999 MARRIOTT, Kim ; STUCKEY, Peter J.:: Programming with Constraints, An Introduction.
2. Aufl.
Cambridge, Massachusetts, USA : The MIT Press, 1999. -
476 S. -
ISBN 0-262-13341-5
Marti und Rueher 1995 MARTI, Philippe ; RUEHER, Michel:: A Distributed Cooperating Constraints Solving System.
In: International Journal on Artificial Intelligence Tools (IJAIT)
4 (1995), Juni, Nr. 1-2, S. 93-113. -
URL http://www.essi.fr/~rueher/Publis/IJAIT.ps. - Zugriffsdatum: 12. Juni 2005. -
ISSN 0218-2130
Merlet 2002 MERLET, Jean-Pierre:: ALIAS, a System Solving Library Based on Interval Analysis.
In: ERCIM News, online edition
(2002), Juli, Nr. 50. -
URL http://www.ercim.org/publication/Ercim_News/enw50/merlet.html. - Zugriffsdatum: 11. Februar 2005
Meyer 1995 MEYER, Manfred:: Finite Domain Constraints: Declarativity meets Efficiency, Theory meets Application.
Sankt Augustin : Infix Verlag, 1995
(DISKI 79). -
167 S. -
Zugl.: Kaiserslautern, Universität, Dissertation, 1994. -
ISBN 3-929037-79-3
Middendorf et al. 2002 MIDDENDORF, Stefan ; SINGER, Reiner ; HEID, Jörn:: Programmierhandbuch und Referenz für die Java-2-Plattform, Standard Edition.
3., überarb. und erw. Aufl.
Heidelberg : dpunkt.verlag, Oktober 2002. -
1151 S. -
URL http://www.dpunkt.de/java/index.html. - Zugriffsdatum: 7. September 2005. -
ISBN 3-89864-157-0
Minton et al. 1992 MINTON, Steven ; JOHNSTON, Mark D. ; PHILIPS, Andrew B. ; LAIRD, Philip:: Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems.
In: Artificial Intelligence
58 (1992), Dezember, Nr. 1-3, S. 161-205. -
Special Volume on Constraint Based Reasoning. - Zugl.: (Freuder und Mackworth, 1994), S. 161-205. -
ISSN 0004-3702
Mittal und Falkenhainer 1990 MITTAL, Sanjay ; FALKENHAINER, Brian:: Dynamic Constraint Satisfaction Problems.
In: DIETTERICH, Thomas (Hrsg.) ; SWARTOUT, William (Hrsg.): Proceedings of the 8th National Conference on Artificial Intelligence (AAAI'90), Boston, Massachusetts, USA, 29. Juli - 3. August 1990 Bd. 1.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, 1990, S. 25-32. -
ISBN 0-262-51057-X
Mittal und Frayman 1989 MITTAL, Sanjay ; FRAYMAN, Felix:: Towards a Generic Model of Configuration Tasks.
In: (Sridharan, 1989), S. 1395-1401. -
ISBN 1-55860-094-9
Mohr und Henderson 1986 MOHR, Roger ; HENDERSON, Thomas C.:: Arc and Path Consistency Revisited.
In: Artificial Intelligence
28 (1986), M ${\^{^\/}}$ barz, Nr. 2, S. 225-233. -
ISSN 0004-3702
Mohr und Masini 1988 MOHR, Roger ; MASINI, Gérald:: Good Old Discrete Relaxation.
In: KODRATOFF, Yves (Hrsg.) ; RADIG, Bernd (Hrsg.): Proceedings of the 8th European Conference on Artificial Intelligence (ECAI'88), München, 1.-5. August 1988.
London, Boston : Pitman Publishing, 1988, S. 651-656. -
ISBN 0-273-08798-3
Monfroy 1996 MONFROY, Eric:: Solver Collaboration for Constraint Logic Programming.
France, Université Henri Poincaré - Nancy I, Centre de Recherche en Informatique de Nancy, INRIA-Lorraine, PhD Thesis, 8. November 1996. -
viii + 221 S. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/Papers/vext_abs.ps.gz. - Zugriffsdatum: 26. Mai 2005
Monfroy 1998 MONFROY, Eric:: A Solver Collaboration in BALI.
In: JAFFAR, Joxan (Hrsg.): Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP'98), Manchester, UK, 15.-19. Juni 1998.
Cambridge, Massachusetts, USA : The MIT Press, 1998, S. 349-350 (Poster). -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/Papers/poster_jicslp.ps.gz. - Zugriffsdatum: 1. Juni 2005. -
ISBN 0-262-60031-5
Monfroy 2000 MONFROY, Eric:: The Constraint Solver Collaboration Language of BALI.
In: GABBAY, Dov (Hrsg.) ; RIJKE, Maarten de (Hrsg.): Proceedings of the 2nd International Workshop Frontiers of Combining Systems (FroCoS'98), Amsterdam, The Netherlands, 2.-4. Oktober 1998.
Baldock, Hertfordshire, UK : Research Studies Press, 2000
(Studies in Logic and Computation Vol. 7), S. 211-230. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/Papers/frocos98.ps.gz. - Zugriffsdatum: 27. Mai 2005
Monfroy 2002 MONFROY, Eric:: Cooperative Constraint Solving.
France, Université de Nantes, Institut de Recherche en Informatique de Nantes, Habilitation Thesis, 22. November 2002. -
viii + 212 S. -
URL http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/Papers/hdr.pdf. - Zugriffsdatum: 26. Mai 2005
Montanari 1974 MONTANARI, Ugo:: Networks of Constraints: Fundamental Properties and Applications to Picture Processing.
In: Information Sciences
7 (1974), S. 95-132. -
ISSN 0020-0255
Montanari und Rossi 1995 MONTANARI, Ugo (Hrsg.) ; ROSSI, Francesca (Hrsg.):: Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP'95), Cassis, Marseilles, France, 19.-22. September 1995.
Berlin, Heidelberg, New York : Springer Verlag, 1995.
(LNCS 976). -
ISBN 3-540-60299-2
Moore 1969 MOORE, Ramon E.:: Intervallanalyse.
München, Wien : Oldenbourg Verlag, 1969. -
188 S.
Nareyek 1999a NAREYEK, Alexander:: Applying Local Search to Structural Constraint Satisfaction.
In: DRABBLE, Brian (Hrsg.): Proceedings of the Workshop on Intelligent Workflow and Process Management: ``The New Frontier for AI in Business'' at the 16th International Joint Conference on Artificial Intelligence (IJCAI'99).
Stockholm, Sweden, 1.-2. August 1999. -
URL http://www.ai-center.com/publications/nareyek-ijcai99-ws.ps. - Zugriffsdatum: 9. November 2004
Nareyek 1999b NAREYEK, Alexander:: Structural Constraint Satisfaction.
In: (Faltings et al., 1999), S. 76-82. -
URL http://www.ai-center.com/publications/nareyek-aaai99-ws.ps. - Zugriffsdatum: 9. Oktober 2004. -
ISBN 1-57735-089-8
Neagu et al. 2003 NEAGU, Nicoleta ; BISTARELLI, Stefano ; FALTINGS, Boi V.:: On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems.
In: RUSSELL, Ingrid (Hrsg.) ; HALLER, Susan M. (Hrsg.): Proceedings of the 16th International Florida Artificial Intelligence Research Society Conference (FLAIRS'03), Special Track on Constraint Solving and Programming, St. Augustine, Florida, USA, 12.-14. Mai 2003.
Menlo Park, California, USA : AAAI Press, 2003, S. 187-191. -
URL http://www.sci.unich.it/~bista/papers/papers-download/FLAIRS03NNeagu.pdf. - Zugriffsdatum: 14. Februar 2005. -
ISBN 1-57735-177-0
Nebel 2001 NEBEL, Bernhard (Hrsg.):: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01), Seattle, Washington, USA, 4.-10. August 2001.
San Mateo, California, USA : Morgan Kaufmann Publishers, 2001. -
1493 S. -
ISBN 1-55860-777-3
Neumann 1988 NEUMANN, Bernd:: Configuration Expert Systems: a Case Study and Tutorial.
In: BUNKE, Horst O. (Hrsg.): Artificial Intelligence in Manufacturing, Assembly and Robotics.
München, Wien : Oldenbourg Verlag, 1988, S. 27-67. -
URL http://citeseer.ist.psu.edu/neumann88configuration.html. - Zugriffsdatum: 14. September 2004. -
ISBN 3-486-20920-5
Neumann 1991 NEUMANN, Bernd:: Expertensysteme zur Konstruktion: Anforderungen an ein Werkzeugsystem.
In: (Cunis et al., 1991), Kap. 2, S. 12-27. -
ISBN 3-540-53683-3
Neumann et al. 1987 NEUMANN, Bernd ; CUNIS, Roman ; GÜNTER, Andreas ; SYSKA, Ingo:: Wissensbasierte Planung und Konfigurierung.
In: BRAUER, Wilfried (Hrsg.) ; WAHLSTER, Wolfgang (Hrsg.): Wissensbasierte Systeme, 2. Internationaler GI-Kongress, München, 20.-21. Oktober 1987, Proceedings.
Berlin, Heidelberg, New York : Springer Verlag, 1987
(Informatik-Fachberichte, Subreihe Künstliche Intelligenz 155), S. 347-357. -
ISBN 3-540-18494-5
Noy und McGuinness 2001 NOY, Natalya F. ; MCGUINNESS, Deborah L.:: Ontology Development 101: A Guide to Creating Your First Ontology
/ Stanford University.
Stanford, California, USA, M ${\^{^\/}}$ barz 2001
(SMI Technical Report SMI-2001-0880). - Forschungsbericht. -
25 S. -
URL http://protege.stanford.edu/publications/ontology_development/ontology101.pdf. - Zugriffsdatum: 20. September 2004
Orsvärn und Axling 1999 ORSVÄRN, Klas ; AXLING, Tomas:: The Tacton View of Configuration Tasks and Engines.
In: (Faltings et al., 1999), S. 127-130. -
ISBN 1-57735-089-8
Paxson 1995 PAXSON, Vern:: Flex, A fast scanner generator
/ University of California, Berkeley.
Berkeley, California, USA, M ${\^{^\/}}$ barz 1995
(Version 2.5). - Manual. -
i + 44 S. -
URL ftp://prep.ai.mit.edu/pub/gnu/Manuals/flex/ps/flex.ps.gz. - Zugriffsdatum: 8. November 2005
Peirce 1933 PEIRCE, Charles S.:: Exact Logic.
In: HARTSHORNE, Charles (Hrsg.) ; WEISS, Paul (Hrsg.): Collected Papers of Charles Sanders Peirce Bd. III.
Cambridge, Massachusetts, USA : Harvard University Press, 1933
Podelski 1995 PODELSKI, Andreas (Hrsg.):: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, 16.-20. Mai 1994, Selected Papers, 22nd Spring School in Theoretical Computer Science.
Berlin, Heidelberg, New York : Springer Verlag, 1995
(LNCS 910). -
xii + 316 S. -
ISBN 3-540-59155-9
Pollack und Georgeff 1997 POLLACK, Martha E. (Hrsg.) ; GEORGEFF, Michael P. (Hrsg.):: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, 23.-29. August 1997.
San Mateo, California, USA : Morgan Kaufmann Publishers, 1997. -
1652 S. -
ISBN 1-558-60480-4
Pountain 1995 POUNTAIN, Dick:: Constraint Logic Programming.
In: BYTE magazine.
New York, NY, USA : McGraw-Hill, Februar 1995. -
URL http://www.byte.com/art/9502/sec13/art3.htm. - Zugriffsdatum: 16. September 2004
Prosser 1993a PROSSER, Patrick:: Forward Checking with Backmarking
/ University of Strathclyde, Department of Computer Science.
Glasgow, Scotland, UK, Juni 1993
(Technical Report AISL-48-93). - Forschungsbericht. -
14 S. -
URL ftp://ftp.cs.strath.ac.uk/research-reports/aisl-48-93.ps.Z. - Zugriffsdatum: 21. September 2004.
Überarb. Fassung: (Prosser, 1995a)
Prosser 1993b PROSSER, Patrick:: Hybrid Algorithms for the Constraint Satisfaction Problem.
In: Computational Intelligence
9 (1993), Nr. 3, S. 268-299. -
ISSN 0824-7935
Prosser 1995a PROSSER, Patrick:: Forward Checking with Backmarking.
In: MEYER, Manfred (Hrsg.): Constraint Processing, Selected Papers.
Berlin, Heidelberg, New York : Springer Verlag, 1995
(LNCS 923), S. 185-204. -
Vorhergehende Version: (Prosser, 1993a). -
ISBN 3-540-59479-5
Prosser 1995b PROSSER, Patrick:: MAC-CBJ: Maintaining Arc Consistency with Conflict-Directed Backjumping
/ University of Strathclyde, Department of Computer Science.
Glasgow, Scotland, UK, Mai 1995
(Research Report 95/177). - Forschungsbericht. -
7 S. -
URL http://www.dcs.st-and.ac.uk/~apes/papers/95-177.ps.Z. - Zugriffsdatum: 16. September 2004
Prosser et al. 2000 PROSSER, Patrick ; STERGIOU, Kostas ; WALSH, Toby:: Singleton Consistencies.
In: (Dechter, 2000), S. 353-368. -
URL http://www-users.cs.york.ac.uk/~tw/Papers/pswcp00.ps. - Zugriffsdatum: 17. September 2004. -
ISBN 3-540-41053-8
Puget 1994 PUGET, Jean-François:: A C++ implementation of CLP.
In: Proceedings of the 2nd Singapore International Conference on Intelligent Systems (SPICIS'94).
Singapore, 14.-17. November 1994. -
URL http://www.ilog.com/products/optimization/tech/research/spicis94.pdf. - Zugriffsdatum: 22. Februar 2005. -
Zugl.: Technical Report 94-01. ILOG S.A. Gentilly Cedex, France, 1994
Puget und Leconte 1995 PUGET, Jean-François ; LECONTE, Michel:: Beyond the Glass Box: Constraints as Objects.
In: LLOYD, John (Hrsg.): Logic Programming, Proceedings of the 1995 International Symposium (ILPS'95), Portland, Oregon, USA, 4.-7. Dezember 1995.
Cambridge, Massachusetts, USA : The MIT Press, 1995, S. 513-527. -
URL http://www.ilog.com/products/optimization/tech/research/ilps.pdf. - Zugriffsdatum: 23. Februar 2005. -
ISBN 0-262-62099-5
Puget und Van Hentenryck 1996 PUGET, Jean-François ; VAN HENTENRYCK, Pascal:: A Constraint Satisfaction Approach to a Circuit Design Problem
/ Brown University, Computer Science Department.
Providence, Rhode Island, USA, Dezember 1996
(Technical Report CS-96-34). - Forschungsbericht. -
15 S. -
URL ftp://ftp.cs.brown.edu/pub/techreports/96/cs96-34.ps.Z. - Zugriffsdatum: 22. September 2004.
Überarb. Fassung: (Puget und Van Hentenryck, 1998)
Puget und Van Hentenryck 1998 PUGET, Jean-François ; VAN HENTENRYCK, Pascal:: A Constraint Satisfaction Approach to a Circuit Design Problem.
In: Journal of Global Optimization
13 (1998), S. 75-93. -
URL http://www.cs.brown.edu/people/pvh/transistor.ps. - Zugriffsdatum: 21. September 2004. -
Vorhergehende Version: (Puget und Van Hentenryck, 1996). -
ISSN 0925-5001
Puppe und Günter 1993 PUPPE, Frank (Hrsg.) ; GÜNTER, Andreas (Hrsg.):: Expertensysteme 93, Beiträge zur 2. Deutschen Expertensystemtagung (XPS'93), Hamburg, 17.-19. Februar 1993.
Berlin, Heidelberg, New York : Springer Verlag, 1993.
(Informatik aktuell). -
viii + 282 S. -
ISBN 3-540-56464-0
Purdom 1983 PURDOM, Paul W.:: Search Rearrangement Backtracking and Polynomial Average Time.
In: Artificial Intelligence
21 (1983), M ${\^{^\/}}$ barz, Nr. 1-2, S. 117-133. -
ISSN 0004-3702
Ranze et al. 2002 RANZE, Christoph ; SCHOLZ, Thorsten ; WAGNER, Thomas ; GÜNTER, Andreas ; HERZOG, Otthein ; HOLLMANN, Oliver ; SCHLIEDER, Christoph ; ARLT, Volker:: A Structure-Based Configuration Tool: Drive Solution Designer - DSD.
In: DECHTER, Rina (Hrsg.) ; SUTTON, Rich (Hrsg.) ; KEARNS, Michael (Hrsg.) ; CHIEN, Steve (Hrsg.) ; RIEDL, John (Hrsg.): Proceedings of the 18th National Conference on Artificial Intelligence (AAAI'02) and 14th Conference on Innovative Applications of Artificial Intelligence (IAAI'02), Edmonton, Alberta, Canada, 28. Juli - 1. August 2002.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, September 2002, S. 845-852. -
URL http://www.hitec-hh.de/ueberuns/home/aguenter/literatur/IAAI2002.pdf. - Zugriffsdatum: 15. September 2004. -
ISBN 0-262-51129-0
Ringwelski 2001a RINGWELSKI, Georg:: Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers.
In: WALSH, Toby (Hrsg.): Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Zypern, 26. November - 1. Dezember 2001.
Berlin, Heidelberg, New York : Springer Verlag, 2001
(LNCS 2239), S. 777 (Poster). -
URL http://4c.ucc.ie/web/upload/publications/inProc/cp01doc-proc.pdf. - Zugriffsdatum: 19. Januar 2005. -
ISBN 3-540-42863-1
Ringwelski 2001b RINGWELSKI, Georg:: A New Execution Model for Constraint Processing in Object-Oriented Software.
In: Proceedings of the International Workshop on Functional and (Constraint) Logic Programming (WFLP'01), Kiel, 13.-15. September 2001, Universität Kiel (veröffentlicht als technischer Bericht Nr. 2017), 2001. -
URL http://4c.ucc.ie/web/upload/publications/inProc/wflp01.pdf. - Zugriffsdatum: 19. Februar 2005
Ringwelski 2002 RINGWELSKI, Georg:: Object-Oriented Constraint Programming with J.CP.
In: COELLO COELLO, Carlos A. (Hrsg.) ; ALBORNOZ, Alvaro de (Hrsg.) ; SUCAR, Luis E. (Hrsg.) ; BATTISTUTTI, Osvaldo C. (Hrsg.): Advances in Artificial Intelligence, Proceedings of the 2nd Mexican International Conference on Artificial Intelligence (MICAI'2002), Merida, Yucatan, Mexico, 22.-26. April 2002.
Berlin, Heidelberg, New York : Springer Verlag, 2002
(LNCS 2313), S. 194-203. -
URL http://4c.ucc.ie/web/upload/publications/inProc/micai02.pdf. - Zugriffsdatum: 19. Januar 2005. -
ISBN 3-540-43475-5
Ringwelski 2003 RINGWELSKI, Georg:: Asynchrones Constraintlösen - Ein generisches Ausführungsmodell zur adaptiven, inkrementellen Constraintverarbeitung.
Berlin, Technische Universität, Fakultät IV - Elektrotechnik und Informatik, Dissertation, 12. Februar 2003. -
viii + 177 S. -
URL http://4c.ucc.ie/web/upload/publications/phdThesis/diss.pdf. - Zugriffsdatum: 19. Januar 2005
Ringwelski und Schlenker 2002 RINGWELSKI, Georg ; SCHLENKER, Hans:: Dynamic Distributed Constraint Satisfaction with Asynchronous Solvers.
In: APT, Krzysztof R. (Hrsg.) ; FAGES, François (Hrsg.) ; FREUDER, Eugene C. (Hrsg.) ; O'SULLIVAN, Barry (Hrsg.) ; ROSSI, Francesca (Hrsg.) ; WALSH, Toby (Hrsg.): Proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP'02).
Cork, Ireland, 19.-21. Juni 2002, S. 211-220. -
URL http://4c.ucc.ie/web/upload/publications/inProc/ercim02acs.pdf. - Zugriffsdatum: 19. Januar 2005
Rossi et al. 1989 ROSSI, Francesca ; PETRIE, Charles J. ; DHAR, Vasant:: On the Equivalence of Constraint Satisfaction Problems
/ Microelectronics and Computer Technology Corporation.
Austin, Texas, USA, Dezember 1989
(MCC Technical Report ACT-AI-222-89). - Forschungsbericht. -
29 S. -
URL http://snrc.stanford.edu/~petrie/constraint-def.pdf. - Zugriffsdatum: 20. September 2004.
Revidierte und gekürzte Fassung: (Rossi et al., 1990)
Rossi et al. 1990 ROSSI, Francesca ; PETRIE, Charles J. ; DHAR, Vasant:: On the Equivalence of Constraint Satisfaction Problems.
In: AIELLO, Luigia Carlucci (Hrsg.): Proceedings of the 9th European Conference on Artificial Intelligence (ECAI'90), Stockholm, Sweden, 6.-10. August 1990.
London, Boston : Pitman Publishing, 6.-10. August 1990, S. 550-556. -
Ausführliche Version: (Rossi et al., 1989). -
ISBN 0-273-08822-X
Roy et al. 1999 ROY, Pierre ; LIRET, Anne ; PACHET, François:: Constraint Satisfaction Problems Framework.
In: FAYAD, Mohamed E. (Hrsg.) ; SCHMIDT, Douglas C. (Hrsg.) ; JOHNSON, Ralph E. (Hrsg.): Implementing Application Frameworks: Object-Oriented Frameworks at Work.
Chichester, London, New York : John Wiley & Sons, September 1999
(Wiley Computer Publishing), Kap. 17, S. 369-401. -
URL http://www.csl.sony.fr/downloads/papers/1997/roy97a.pdf. - Zugriffsdatum: 23. Februar 2005. -
ISBN 0-471-25201-8
Roy et al. 2000 ROY, Pierre ; LIRET, Anne ; PACHET, François:: The Framework Approach for Constraint Satisfaction.
In: ACM Computing Surveys (CSUR)
32 (2000), M ${\^{^\/}}$ barz, Nr. 1es. -
URL http://www.csl.sony.fr/downloads/papers/1998/roy98a.pdf. - Zugriffsdatum: 22. Februar 2005. -
CSUR Electronic Symposium on Object-Oriented Application Frameworks - Artikel Nr. 13. -
ISSN 0360-0300
Roy und Pachet 1997 ROY, Pierre ; PACHET, François:: Reifying Constraint Satisfaction in Smalltalk.
In: Journal of Object-Oriented Programming (JOOP)
10 (1997), Juli/August, Nr. 4, S. 43-51. -
URL http://www-poleia.lip6.fr/~fdp/MyPapers/BackTalk/BackTalk-joop.ps.Z. - Zugriffsdatum: 25. Februar 2005
Roy et al. 1997 ROY, Pierre ; PACHET, François ; PERROT, Jean-François:: A Framework for Expressing Knowledge about Constraint Satisfaction Problems.
In: DANKEL II, Douglas D. (Hrsg.): Proceedings of the 10th International Florida Artificial Intelligence Research Symposium Conference (FLAIRS'97).
Daytona Beach, Florida, USA, 12.-14. Mai 1997, S. 47-51. -
URL http://citeseer.ist.psu.edu/roy97framework.html. - Zugriffsdatum: 25. Februar 2005
Rueher 1995 RUEHER, Michel:: An Architecture for Cooperating Constraint Solvers on Reals.
In: (Podelski, 1995), S. 231-250. -
URL http://www.essi.fr/~rueher/Publis/SpringSchool.ps. - Zugriffsdatum: 12. Juni 2005. -
Zugl.: Research Report 94-54, Informatique, Signaux et Systèmes de Sophia Antipolis (I3S), Université de Nice Sophia Antipolis, France, 1994. -
ISBN 3-540-59155-9
Russel und Norvig 2002 RUSSEL, Stuart J. ; NORVIG, Peter:: Artificial Intelligence: A Modern Approach (The Intelligent Agent Book).
2. Aufl.
Upper Saddle River, New Jersey, USA : Prentice Hall, Dezember 2002
(Prentice Hall Series in Artificial Intelligence). -
1132 S. -
URL http://aima.cs.berkeley.edu/newchap05.pdf. - Zugriffsdatum: 7. September 2005. -
ISBN 0-13790-395-2
Ruttkay 1994 RUTTKAY, Zsófia:: Fuzzy Constraint Satisfaction.
In: Proceedings of the Third IEEE International Conference on Fuzzy Systems at the IEEE World Congress on Computational Intelligence, Orlando, Florida, USA, 26.-29. Juni 1994.
New York, NY, USA : IEEE Neural Networks Council, September 1994, S. 1263-1268. -
URL http://www.cwi.nl/~zsofi/Publications/IEEE94.ps. - Zugriffsdatum: 28. Oktober 2004. -
ISBN 0-78031-896-X
Ruttkay 1998 RUTTKAY, Zsófia:: Constraint Satisfaction - a Survey.
In: CWI Quarterly
11 (1998), Juni/September, Nr. 2-3, S. 123-161. -
URL ftp://ftp.cwi.nl/pub/CWIQuarterly/1998/11.2-3/ruttkay.pdf. - Zugriffsdatum: 21. September 2004. -
ISSN 0168-826X
Sabin und Freuder 1994a SABIN, Daniel ; FREUDER, Eugene C.:: Contradicting Conventional Wisdom in Constraint Satisfaction.
In: BORNING, Alan (Hrsg.): Proceedings of the 2nd International Workshop on Principles and Practice of Constraint Programming (PPCP'94), Rosario, Orcas Island, Washington, USA, 2.-4. Mai 1994.
Berlin, Heidelberg, New York : Springer Verlag, 1994
(LNCS 874), S. 10-20. -
URL http://4c.ucc.ie/web/upload/publications/inProc/sabin94contradicting.pdf. - Zugriffsdatum: 21. Januar 2006. -
Zugl.: (Sabin und Freuder, 1994b). -
ISBN 3-540-58601-6
Sabin und Freuder 1994b SABIN, Daniel ; FREUDER, Eugene C.:: Contradicting Conventional Wisdom in Constraint Satisfaction.
In: COHN, Anthony G. (Hrsg.): Proceedings of the 11th European Conference on Artificial Intelligence (ECAI'94), Amsterdam, The Netherlands, 8.-12. August 1994.
Chichester, London, New York : John Wiley & Sons, 1994, S. 125-129. -
URL http://citeseer.ist.psu.edu/186864.html. - Zugriffsdatum: 20. Januar 2006. -
Zugl.: (Sabin und Freuder, 1994a). -
ISBN 0-471-95069-6
Sabin und Freuder 1996a SABIN, Daniel ; FREUDER, Eugene C.:: Configuration as Composite Constraint Satisfaction.
In: FALTINGS, Boi V. (Hrsg.) ; FREUDER, Eugene C. (Hrsg.): Configuration - Papers from the AAAI Fall Symposium, Technical Report FS-96-03, Boston, Massachusetts, USA, 9.-11. November 1996.
Menlo Park, California, USA : AAAI Press, 1996, S. 28-36. -
URL http://4c.ucc.ie/web/upload/publications/inProc/sabin96configuration.pdf. - Zugriffsdatum: 20. Oktober 2004. -
Zugl.: (Sabin und Freuder, 1996b). -
ISBN 1-57735-018-9
Sabin und Freuder 1996b SABIN, Daniel ; FREUDER, Eugene C.:: Configuration as Composite Constraint Satisfaction.
In: LUGER, George F. (Hrsg.): Proceedings of the (1st) Artificial Intelligence and Manufacturing Research Planning Workshop.
Menlo Park, California, USA : AAAI Press, 1996, S. 153-161. -
URL http://citeseer.ist.psu.edu/sabin96configuration.html. - Zugriffsdatum: 20. Oktober 2004. -
Zugl.: (Sabin und Freuder, 1996a). -
ISBN 1-57735-003-0
Sabin und Freuder 1997 SABIN, Daniel ; FREUDER, Eugene C.:: Understanding and Improving the MAC Algorithm.
In: SMOLKA, Gert (Hrsg.): Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP'97), Schloss Hagenberg, Linz, Austria, 29. Oktober - 1. November 1997.
Berlin, Heidelberg, New York : Springer Verlag, 1997
(LNCS 1330), S. 167-181. -
URL http://4c.ucc.ie/web/upload/publications/inProc/sabin97understanding.ps. - Zugriffsdatum: 16. September 2004. -
ISBN 3-540-63753-2
Sabin und Weigel 1998 SABIN, Daniel ; WEIGEL, Rainer:: Product Configuration Frameworks - A Survey.
In: IEEE Intelligent Systems
13 (1998), Juli/August, Nr. 4, S. 42-49. -
ISSN 1094-7167
Sabin und Freuder 1998 SABIN, Mihaela ; FREUDER, Eugene C.:: Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems.
In: Proceedings of the Workshop on Constraint Problem Reformulation at the 4th International Conference on Principles and Practice of Constraint Programming (CP'98).
Pisa, Italy, 30. Oktober 1998. -
URL http://ic-www.arc.nasa.gov/people/frank/sabin.cp98.FINAL.ps. - Zugriffsdatum: 19. Oktober 2004. -
Zugl.: (Sabin und Freuder, 1999)
Sabin und Freuder 1999 SABIN, Mihaela ; FREUDER, Eugene C.:: Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems.
In: (Faltings et al., 1999), S. 90-94. -
URL http://www.rivier.edu/faculty/msabin/web/home/publications/cp98work.ps. - Zugriffsdatum: 19. Oktober 2004. -
Zugl.: (Sabin und Freuder, 1998). -
ISBN 1-57735-089-8
Sam-Haroud und Faltings 1996a SAM-HAROUD, Djamila ; FALTINGS, Boi V.:: Consistency Techniques for Continuous Constraints.
In: Constraints, An International Journal
1 (1996), September, Nr. 1-2, S. 85-118. -
URL http://liawww.epfl.ch/Publications/Archive/Sam-Haroud1996a.pdf. - Zugriffsdatum: 14. September 2004. -
ISSN 1383-7133
Sam-Haroud und Faltings 1996b SAM-HAROUD, Djamila ; FALTINGS, Boi V.:: Solving Non-Binary Convex CSPs in Continuous Domains.
In: (Freuder, 1996), S. 410-424. -
URL http://liawww.epfl.ch/Publications/Archive/Sam-Haroud1996.pdf. - Zugriffsdatum: 14. September 2004. -
ISBN 3-540-61551-2
Sam-Haroud 1995 SAM-HAROUD, Jamila:: Constraint Consistency Techniques for Continuous Constraints.
Lausanne, Switzerland, Swiss Federal Institute of Technology (EPFL), PhD Thesis No. 1423, 1995. -
xviii + 178 S. -
URL http://liawww.epfl.ch/~haroud/Thesis-SamHaroud.ps.gz. - Zugriffsdatum: 14. September 2004
Schiex et al. 1996 SCHIEX, Thomas ; RÉGIN, Jean-Charles ; GASPIN, Christine ; VERFAILLIE, Gérard:: Lazy Arc Consistency.
In: (Clancey et al., 1996), S. 216-221. -
URL http://www.inra.fr/bia/T/schiex/Export/lac-aaai96.ps.gz. - Zugriffsdatum: 15. September 2004. -
ISBN 0-262-51091-X
Schlenker und Ringwelski 2003 SCHLENKER, Hans ; RINGWELSKI, Georg:: POOC: A Platform for Object-Oriented Constraint Programming.
In: O'SULLIVAN, Barry (Hrsg.): Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP'02), Cork, Ireland, 19.-21. Juni 2002, Selected Papers.
Berlin, Heidelberg, New York : Springer Verlag, 2003
(LNCS 2627), S. 159-170. -
URL http://4c.ucc.ie/web/upload/publications/inProc/ercim02pooc.pdf. - Zugriffsdatum: 13. Januar 2005. -
ISBN 3-540-00986-8
Schlingheider 1994 SCHLINGHEIDER, Jörg ; SPUR, Günter (Hrsg.):: Methodik zur Entwicklung rechnergestützter Konfigurationssysteme.
München, Wien : Carl Hanser Verlag, 1994
(Produktionstechnik - Berlin 145). -
156 S. -
Zugl.: Berlin, Technische Universität, Dissertation, 1994. -
ISBN 3-446-17827-9
Schnelle 2004 SCHNELLE, Dirk:: Kurze Einführung in log4j
/ The Apache Software Foundation.
Forest Hill, Maryland, USA, 8. Juni 2004.
- Handbuch. -
URL http://www.javacore.de/tutorials/schnelle/log4jmanual.pdf. - Zugriffsdatum: 7. November 2005.
Vorhergehende Version: (Gülcü, 2002)
Schöning 2000 SCHÖNING, Uwe:: Logik für Informatiker.
5. Aufl.
Heidelberg, Berlin : Spektrum Akademischer Verlag, 2000. -
200 S. -
ISBN 3-8274-1005-3
Schwalb und Vila 1998 SCHWALB, Eddie ; VILA, Lluís:: Temporal Constraints: A Survey.
In: Constraints, An International Journal
3 (1998), Juni, Nr. 2-3, S. 129-149. -
URL http://www.ics.uci.edu/~csp/r66.pdf. - Zugriffsdatum: 18. Oktober 2004. -
ISSN 1383-7133
SICStus 2004 SICStus Prolog User's Manual: / Swedish Institute of Computer Science, Intelligent Systems Laboratory.
Kista, Sweden, November 2004
(Release 3.12.0). - Handbuch. -
xviii + 834 S. -
URL http://www.sics.se/sicstus/docs/3.12.0/pdf/sicstus.pdf. - Zugriffsdatum: 20. Januar 2005
Silaghi et al. 1999 SILAGHI, Marius-Clin ; SAM-HAROUD, Djamila ; FALTINGS, Boi V.:: Intelligent Domain Splitting for CSPs with Ordered Domains.
In: (Jaffar, 1999), S. 488-489 (Poster). -
URL http://www.cs.fit.edu/~msilaghi/papers/CP99poster.pdf. - Zugriffsdatum: 14. September 2004. -
ISBN 3-540-66626-5
Silaghi et al. 2001 SILAGHI, Marius-Clin ; SAM-HAROUD, Djamila ; FALTINGS, Boi V.:: Search Techniques for Non-Linear Constraints with Inequalities.
In: STROULIA, Eleni (Hrsg.) ; MATWIN, Stan (Hrsg.): Advances in Artificial Intelligence, Proceedings of the 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence (AI'01), Ottawa, Canada, 7.-9. Juni 2001.
Berlin, Heidelberg, New York : Springer Verlag, 2001
(LNCS 2056), S. 183-193. -
URL http://www.cs.fit.edu/~msilaghi/papers/AI2001.pdf. - Zugriffsdatum: 17. September 2004. -
ISBN 3-540-42144-0
Sillito 2000 SILLITO, Jonathan:: Arc Consistency for General Constraint Satisfaction Problems and Estimating the Cost of Solving Constraint Satisfaction Problems.
Edmonton, Alberta, Canada, University of Alberta, Master's Thesis, 2000. -
73 S. -
URL http://ai.uwaterloo.ca/~vanbeek/publications/sillito.ps.gz. - Zugriffsdatum: 21. September 2004
Simon 1993 SIMON, K.-H.:: Wo sind sie, all die Expertensysteme? Einstieg in ein Monitoring im Bereich der Umweltanwendungen.
In: (Puppe und Günter, 1993), S. 262-268. -
ISBN 3-540-56464-0
Singh 1995 SINGH, Moninder:: Path Consistency Revisited.
In: VASSILOPOULOS, John F. (Hrsg.): Proceedings of the 7th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'95), Herndon, Virginia, USA, 5.-8. November 1995.
Los Alamitos, California, USA, : IEEE Computer Society Press, 1995, S. 318-325. -
URL ftp://ftp.cis.upenn.edu/pub/msingh/ictai95.ps.Z. - Zugriffsdatum: 15. September 2004. -
ISBN 0-8186-7312-5
Smith 1992 SMITH, Barbara M.:: How to Solve the Zebra Problem, or Path Consistency the Easy Way.
In: NEUMANN, Bernd (Hrsg.): Proceedings of the 10th European Conference on Artificial Intelligence (ECAI'92), Vienna, Austria, 3.-7. August 1992.
Chichester, London, New York : John Wiley & Sons, 1992, S. 36-37. -
ISBN 0-471-93608-1
Smith et al. 2000 SMITH, Barbara M. ; STERGIOU, Kostas ; WALSH, Toby:: Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems.
In: KAUTZ, Henry (Hrsg.) ; PORTER, Bruce (Hrsg.) ; ENGELMORE, Robert (Hrsg.) ; HIRSH, Haym (Hrsg.): Proceedings of the 17th National Conference on Artificial Intelligence (AAAI 2000) and 12th Conference on Innovative Applications of Artificial Intelligence (IAAI 2000), Austin, Texas, USA, 30. Juli - 3. August 2000.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, 2000, S. 182-187. -
URL http://www-users.cs.york.ac.uk/~tw/Papers/sswaaai00.pdf. - Zugriffsdatum: 21. September 2004. -
ISBN 0-262-51112-6
Sridharan 1989 SRIDHARAN, Natesa S. (Hrsg.):: Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI'89), Detroit, Michigan, USA, 20.-26. August 1989.
San Mateo, California, USA : Morgan Kaufmann Publishers, 1989. -
ISBN 1-55860-094-9
Stearns 1997 STEARNS, Beth:: Java Native Interface
/ Sun Microsystems.
Santa Clara, California, USA, 19. Februar 1997.
- The Java Tutorial: A practical guide for programmers. -
URL http://java.sun.com/docs/books/tutorial/native1.1/index.html. - Zugriffsdatum: 7. November 2005.
Zugl.: (Stearns, 1998)
Stearns 1998 STEARNS, Beth:: Java Native Interface.
In: CAMPIONE, Mary (Hrsg.) ; WALRATH, Kathy (Hrsg.) ; HUML, Alison (Hrsg.): The Java Tutorial Continued: The Rest of the JDK.
Reading, Massachusetts, USA : Addison-Wesley, Dezember 1998
(The Java Series from the Source), S. 625-680. -
Zugl.: (Stearns, 1997). -
ISBN 0-201-48558-3
Stergiou und Walsh 1999 STERGIOU, Kostas ; WALSH, Toby:: Encodings of Non-Binary Constraint Satisfaction Problems.
In: HENDLER, James (Hrsg.) ; SUBRAMANIAN, Devika (Hrsg.) ; UTHURUSAMY, Ramasamy (Hrsg.) ; HAYES-ROTH, Barbara (Hrsg.): Proceedings of the 16th National Conference on Artificial Intelligence (AAAI'99) and 11th Conference on Innovative Applications of Artificial Intelligence (IAAI'99), Orlando, Florida, USA, 18.-22. Juli 1999.
Menlo Park, California, USA/Cambridge, Massachusetts, USA : AAAI Press/The MIT Press, 1999, S. 163-168. -
URL http://dream.dai.ed.ac.uk/group/tw/papers/swaaai99.ps. - Zugriffsdatum: 15. September 2004. -
ISBN 0-262-51106-1
Stumptner 1997 STUMPTNER, Markus:: An Overview of Knowledge-Based Configuration.
In: AI Communications (AICOM)
10 (1997), Juli, Nr. 2, S. 111-125. -
ISSN 0921-7126
Stumptner et al. 1998 STUMPTNER, Markus ; FRIEDRICH, Gerhard E. ; HASELBÖCK, Alois:: Generative Constraint-Based Configuration of Large Technical Systems.
In: Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AI EDAM)
12 (1998), September, Nr. 4, S. 307-320. -
Special Issue: Configuration Design. -
ISSN 0890-0604
Stumptner und Haselböck 1993 STUMPTNER, Markus ; HASELBÖCK, Alois:: A Generative Constraint Formalism for Configuration Problems.
In: TORASSO, Pietro (Hrsg.): Advances in Artificial Intelligence, Proceedings of the 3rd Congress of the Italian Association for Artificial Intelligence (AI*IA'93), Torino, Italy, 26.-28. Oktober 1993.
Berlin, Heidelberg, New York : Springer Verlag, 1993
(LNCS 728), S. 302-313. -
ISBN 3-540-57292-9
Sutschet 2001 SUTSCHET, Gerhard:: COMIX - System zur Konfigurierung von Maschinen und Anlagen.
Karlsruhe : Fraunhofer-Institut für Informations- und Datenverarbeitung (IITB), November 2001. -
URL http://www.iitb.fraunhofer.de/servlet/is/624/Comix.pdf?command=downloadContent&filename=Comix.pdf. - Zugriffsdatum: 27. August 2004
Syska 1991 SYSKA, Ingo:: Modulare Expertensystemarchitekturen.
In: (Cunis et al., 1991), Kap. 3, S. 28-36. -
ISBN 3-540-53683-3
Syska und Cunis 1991 SYSKA, Ingo ; CUNIS, Roman:: Constraints in PLAKON.
In: (Cunis et al., 1991), Kap. 6, S. 77-91. -
ISBN 3-540-53683-3
Torrens 1997 TORRENS, Marc:: An Application using the Java Constraint Library: The Air Travel Planning System.
Lausanne, Switzerland, Swiss Federal Institute of Technology (EPFL), Artificial Intelligence Laboratory, Diploma Thesis, 27. Juni 1997. -
x + 65 S. -
URL http://www.marctorrens.com/downloads/diploma/diploma.ps. - Zugriffsdatum: 14. Februar 2005
Torrens et al. 1997a TORRENS, Marc ; WEIGEL, Rainer ; FALTINGS, Boi V.:: Java Constraint Library.
In: FRÜHWIRTH, Thom (Hrsg.) ; HERMENGILDO, Manuel (Hrsg.) ; TARAU, Paul (Hrsg.) ; CODOGNET, Philippe (Hrsg.) ; ROSSI, Francesca (Hrsg.): Proceedings of the Workshop on Constraint Reasoning on the Internet at the 3rd International Conference on Principles and Practice of Constraint Programming (CP'97).
Schloss Hagenberg, Linz, Austria, 1. November 1997. -
URL http://liawww.epfl.ch/Publications/Archive/Torrens1997a.pdf. - Zugriffsdatum: 14. Februar 2005. -
Vorhergehende Version: (Torrens et al., 1997b)
Torrens et al. 1997b TORRENS, Marc ; WEIGEL, Rainer ; FALTINGS, Boi V.:: Java Constraint Library: bringing constraints technology on the Internet using the Java language.
In: FREUDER, Eugene C. (Hrsg.): Constraints & Agents - Papers from the AAAI Workshop at the 14th National Conference on Artificial Intelligence (AAAI'97), Providence, Rhode Island, USA, 27.-31. Juli 1997, Technical Report WS-97-05.
Menlo Park, California, USA : AAAI Press, 1997. -
URL http://liawww.epfl.ch/Publications/Archive/Torrens1997.pdf. - Zugriffsdatum: 14. Februar 2005. -
Erweiterte Fassung: (Torrens et al., 1997a). -
ISBN 1-57735-032-4
Torrens et al. 1998 TORRENS, Marc ; WEIGEL, Rainer ; FALTINGS, Boi V.:: Distributing Problem Solving on the Web Using Constraint Technology.
In: Proceedings of the 10th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'98), Taipei, Taiwan, 10.-12. November 1998.
Los Alamitos, California, USA, : IEEE Computer Society Press, 1998, S. 42-49. -
URL http://liawww.epfl.ch/Publications/Archive/Torrens1998.pdf. - Zugriffsdatum: 14. Februar 2005. -
ISBN 0-7803-5214-9
Tsang 1993 TSANG, Edward P. K.:: Foundations of Constraint Satisfaction.
London, San Diego, New York : Academic Press, 1993
(Computation in Cognitive Science). -
421 S. -
URL http://cswww.essex.ac.uk/CSP/papers/Tsang-Fcs1993.pdf/. - Zugriffsdatum: 20. September 2004. -
ISBN 0-12-701610-4
Tsang 1998 TSANG, Edward P. K.:: No more ``Partial'' and ``Full Looking Ahead''.
In: Artificial Intelligence
98 (1998), Januar, Nr. 1-2, S. 351-361. -
ISSN 0004-3702
Van Hentenryck 1989 VAN HENTENRYCK, Pascal:: Constraint Satisfaction in Logic Programming.
Cambridge, Massachusetts, USA : The MIT Press, 1989. -
xvi + 224 S. -
ISBN 0-262-08181-4
Van Hentenryck 1995 VAN HENTENRYCK, Pascal:: Constraint Solving for Combinatorial Search Problems: A Tutorial.
In: (Montanari und Rossi, 1995), S. 564-587. -
ISBN 3-540-60299-2
Van Hentenryck et al. 1992 VAN HENTENRYCK, Pascal ; DEVILLE, Yves ; TENG, Choh-Man:: A Generic Arc-Consistency Algorithm and its Specializations.
In: Artificial Intelligence
57 (1992), Oktober, Nr. 2-3, S. 291-321. -
ISSN 0004-3702
Van Hentenryck et al. 1995 VAN HENTENRYCK, Pascal ; MCALLESTER, David A. ; KAPUR, Deepak:: Solving Polynomial Systems Using a Branch and Prune Approach
/ Brown University, Computer Science Department.
Providence, Rhode Island, USA, Februar 1995
(Technical Report CS-95-01). - Forschungsbericht. -
URL ftp://ftp.cs.brown.edu/pub/techreports/95/cs95-01.ps.Z. - Zugriffsdatum: 21. September 2004.
Überarb. Fassung: (Van Hentenryck et al., 1997)
Van Hentenryck et al. 1997 VAN HENTENRYCK, Pascal ; MCALLESTER, David A. ; KAPUR, Deepak:: Solving Polynomial Systems Using a Branch and Prune Approach.
In: SIAM Journal on Numerical Analysis
34 (1997), April, Nr. 2, S. 797-827. -
URL http://www.cs.unm.edu/~kapur/mypapers/siam.97.ps.gz. - Zugriffsdatum: 21. September 2004. -
Vorhergehende Version: (Van Hentenryck et al., 1995). -
ISSN 0036-1429
Van Hentenryck und Saraswat 1996 VAN HENTENRYCK, Pascal ; SARASWAT, Vijay:: Strategic Directions in Constraint Programming.
In: ACM Computing Surveys (CSUR)
28 (1996), Dezember, Nr. 4, S. 701-726. -
Special ACM 50th-Anniversary Issue: Strategic Directions in Computing Research. - Zugl.: Constraints, 2 (1997), Nr. 1, S. 7-33. -
ISSN 0360-0300
Vu et al. 2003a VU, Xuan-Ha ; SAM-HAROUD, Djamila ; FALTINGS, Boi V.:: Clustering for Disconnected Solution Sets of Numerical CSPs.
In: APT, Krzysztof R. (Hrsg.) ; FAGES, François (Hrsg.) ; ROSSI, Francesca (Hrsg.) ; SZEREDI, Péter (Hrsg.) ; VÁNCZA, József (Hrsg.): Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP'03), Budapest, Hungary, 30. Juni - 2. Juli 2003, Selected Papers.
Berlin, Heidelberg, New York : Springer Verlag, 2003
(LNCS 3010), S. 25-43. -
URL http://liawww.epfl.ch/Publications/Archive/vuxuanha2003a.pdf. - Zugriffsdatum: 17. September 2004. -
ISBN 3-540-21834-3
Vu et al. 2003b VU, Xuan-Ha ; SAM-HAROUD, Djamila ; FALTINGS, Boi V.:: Clustering the Search Tree for Numerical Constraints.
In: Notes of the 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS'03).
Lausanne, Switzerland, 18.-21. November 2003. -
URL http://liawww.epfl.ch/Publications/Archive/vuxuanha2003b.pdf. - Zugriffsdatum: 17. September 2004
Vu et al. 2002 VU, Xuan-Ha ; SAM-HAROUD, Djamila ; SILAGHI, Marius-Clin:: Approximation Techniques for Non-linear Problems with Continuum of Solutions.
In: KOENIG SVEN, Robert C. (Hrsg.): Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation (SARA'02), Kananaskis, Alberta, Canada, 2.-4. August 2002.
Berlin, Heidelberg, New York : Springer Verlag, 2002
(LNCS 2371), S. 224-241. -
URL http://liawww.epfl.ch/Publications/Archive/vuxuanha2002b.pdf. - Zugriffsdatum: 17. September 2004. -
ISBN 3-540-43941-2
Vu et al. 2003c VU, Xuan-Ha ; SAM-HAROUD, Djamila ; SILAGHI, Marius-Clin:: Numerical Constraint Satisfaction Problems with Non-Isolated Solutions.
In: BLIEK, Christian (Hrsg.) ; JERMANN, Christophe (Hrsg.) ; NEUMAIER, Arnold (Hrsg.): Global Optimization and Constraint Satisfaction, Proceedings of the 1st International Workshop on Global Constraint Optimization and Constraint Satisfaction (COCOS'02), Valbonne-Sophia Antipolis, France, 2.-4. Oktober 2002, Revised Selected Papers.
Berlin, Heidelberg, New York : Springer Verlag, 2003
(LNCS 2861), S. 194-210. -
URL http://liawww.epfl.ch/Publications/Archive/vuxuanha2002c.pdf. - Zugriffsdatum: 17. September 2004. -
ISBN 3-540-20463-6
Wallace 1993 WALLACE, Richard J.:: Why AC-3 is Almost Always Better than AC-4 for Establishing Arc Consistency in CSPs.
In: BAJCSY, Ruzena (Hrsg.): Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambéry, France, 28. August - 3. September 1993.
San Mateo, California, USA : Morgan Kaufmann Publishers, 1993, S. 239-245. -
ISBN 1-55860-300-X
Waltz 1972 WALTZ, David L.:: Generating Semantic Descriptions from Drawings of Scenes with Shadows
/ Massachusetts Institute of Technology.
Cambridge, Massachusetts, USA, 1972
(Technical Report AI-TR-271). - Forschungsbericht
Waltz 1975 WALTZ, David L.:: Understanding Line Drawings of Scenes with Shadows.
In: WINSTON, Patric Henry (Hrsg.): The Psychology of Computer Vision.
New York, NY, USA : McGraw-Hill, 1975, S. 19-91. -
ISBN 0-07-071048-1
Werres 2002 WERRES, York:: Effizientes und flexibles Pattern-Matching für komplexe Objektstrukturen, Universität Bremen, Diplomarbeit, 21. April 2002. -
129 S.
Weule 1993 WEULE, Hartmut:: Expertensysteme im industriellen Einsatz.
In: (Puppe und Günter, 1993), S. 1-12. -
ISBN 3-540-56464-0
Wilson und Borning 1993 WILSON, Molly ; BORNING, Alan:: Hierarchical Constraint Logic Programming.
In: The Journal of Logic Programming
16 (1993), Juli/August, Nr. 3-4, S. 227-318. -
URL ftp://ftp.cs.washington.edu/tr/1993/01/UW-CSE-93-01-02a.PS.Z. - Zugriffsdatum: 1. November 2004. -
Special Issue on Constraint Logic Programming. -
ISSN 0743-1066
Yang und Yang 1997 YANG, Christopher C. ; YANG, Ming-Hsuan:: Constraint Networks: A Survey.
In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Orlando, Florida, USA, 12.-15. Oktober 1997 Bd. 2, Institute of Electrical and Electronics Engineers (IEEE), November 1997, S. 1930-1935. -
URL http://vision.ai.uiuc.edu/mhyang/papers/csp-survey.ps.gz. - Zugriffsdatum: 14. September 2004. -
ISBN 0-780-34053-1
Yokoo und Hirayama 2000 YOKOO, Makoto ; HIRAYAMA, Katsutoshi:: Algorithms for Distributed Constraint Satisfaction: A Review.
In: Autonomous Agents and Multi-Agent Systems
3 (2000), Juni, Nr. 2, S. 185-207. -
URL http://www.kecl.ntt.co.jp/csl/ccrg/members/yokoo/PDF/aams2000.pdf. - Zugriffsdatum: 9. November 2004. -
ISSN 1387-2532
Yu und Skovgaard 1998 YU, Bei ; SKOVGAARD, Jørgen:: A Configuration Tool to Increase Product Competitiveness.
In: IEEE Intelligent Systems
13 (1998), Juli/August, Nr. 4, S. 34-40. -
ISSN 1094-7167
Zhang und Yap 2001 ZHANG, Yuanlin ; YAP, Roland H. C.:: Making AC-3 an Optimal Algorithm.
In: (Nebel, 2001), S. 316-321. -
URL http://www.dcs.gla.ac.uk/~pat/cp4/papers/ac2001b.pdf. - Zugriffsdatum: 16. September 2004. -
ISBN 1-55860-777-3
Zhou 1999 ZHOU, Neng-Fa:: DJ: Declarative Java User's Manual
/ Kyushu Institute of Technology, Faculty of Computer Science and Systems Engineering.
Fukuoka, Japan, 1999
(Version 0.5). - Handbuch. -
iii + 48 S. -
URL http://www.cad.mse.kyutech.ac.jp/people/zhou/dj/manual/manual.html. - Zugriffsdatum: 18. März 2005
Zhou et al. 1998 ZHOU, Neng-Fa ; KANEKO, Sousuke ; YAMAUCHI, Kouji:: DJ: A Java-based Constraint Language and System.
In: Proceedings of the 15th Annual Japan Society for Software Science and Technology Conference (JSSST'98).
Japan, 1998. -
URL http://www.cad.mse.kyutech.ac.jp/people/zhou/papers/jssst98.ps.gz. - Zugriffsdatum: 18. März 2005
Zoeteweij 2002 ZOETEWEIJ, Peter:: Coordination-Based Solver Cooperation in DICE.
In: GRANVILLIERS, Laurent (Hrsg.): Proceedings of the Workshop on Cooperative Solvers in Constraint Programming (CoSolv'02) at the 8th International Conference on Principles and Practice of Constraint Programming (CP'02).
Ithaca, New York, USA, 8. September 2002. -
URL http://homepages.cwi.nl/~peterz/papers/zoeteweij-cosolv02.pdf. - Zugriffsdatum: 25. Juni 2005
Zoeteweij 2003 ZOETEWEIJ, Peter:: A Coordination-Based Framework for Distributed Constraint Solving.
In: O'SULLIVAN, Barry (Hrsg.): Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP'02), Cork, Ireland, 19.-21. Juni 2002, Selected Papers.
Berlin, Heidelberg, New York : Springer Verlag, 2003
(LNCS 2627), S. 171-184. -
URL http://homepages.cwi.nl/~peterz/papers/zoeteweij-ercim02.pdf. - Zugriffsdatum: 25. Juni 2005. -
ISBN 3-540-00986-8

Nächste Seite: Abkürzungsverzeichnis Aufwärts: Diplom Vorherige Seite: G. Glossar Inhalt Index