Zdroje a literatura	Omezující podmínky
Úvod | Sylabus | Zdroje | Přednáška | Zkoušky

Základní literatura

R. Barták: On-line Guide to Constraint Programming, 1998 [WWW]
Constraints Archive [WWW]
R. Barták: Omezující podmínky: on-line, 2001(tyto stránky)

R. Barták: Expertní systémy založené na omezujících podmínkách,MFF UK, 1997 [PDF]
H. Rudová: Constraint Satisfaction with Preferences, FI MU, 2001 [PDF]
M. Mach, J. Paralič: Úlohy s ohraničeniami: Od teórie k programovaniu, elfa, 2000

P. Van Hentenryck: Constraint Satisfaction in Logic Programming,MIT Press, 1989
E. Tsang: Foundations of Constraint Satisfaction, Academic Press, 1993
K. Marriott, P.J. Stuckey: Programming with Constraints: An Introduction, MIT Press, 1998
T. Frühwirth, S. Abdennadher: Essentials of Constraint Programming, Springer Verlag, 2003
R. Dechter: Constraint Processing, Morgan Kaufmann Publishers (Elsevier Science), 2003

Literatura k některým tématům

Binarizace podmínek

• On the equivalence of constraint satisfaction problems
  F. Rossi, V. Dahr and C. Petrie, in Proc. European Conference on Artificial Intelligence (ECAI-90), Stockholm, 1990. Also MCC Technical Report ACT-AI-222-89.
• On the conversion between Non-Binary and Binary Constraint Satisfaction Problems
  F. Bacchus, P. van Beek, in Proc. National Conference on Artifical Intelligence (AAAI-98), Madison, Wisconsin, 1998.
• Encodings of Non-Binary Constraint Satisfaction Problems
  K. Stergiou, T. Walsh, in Proc. National Conference on Artifical Intelligence (AAAI-99), Orlando, Florida, 1999.
• Using auxiliary variables and implied constraints to model non-binary problems
  B. Smith, K. Stergiou, T. Walsh, in Proc. National Conference on Artifical Intelligence (AAAI-00), Austin, Texas, 2000.
• Non-Binary Constraints
  C. Bessiere, in Proc. Principles and Practice of Constraint Programming (CP-99), Alexandria, Virginia, USA, 1999.

Prohledávací algoritmy

• Backtracking algorithms for constraint satisfaction problems; a survey
  R. Dechter, D. Frost, in Constraints, International Journal, 1998.
  
• Dynamic Backtracking
  M.L. Ginsberg, in Journal of Artificial Intelligence Research 1, pages 25-46, 1993.
• Iterative Broadening
  M.L. Ginsberg, W.D. Harvey, In AAAI Proceedings, 1990.
• Limited Discrepancy Search
  W.D. Harvey and M.L. Ginsberg, in Proceedings of IJCAI95, pages 607-613, 1995.

Konzistenční algoritmy

• Consistency in networks of relations [AC1-3, PC1-2]
  A.K. Mackworth, in Artificial Intelligence 8, pages 99-118, 1977.
  
• The complexity of some polynomial network consistency algorithms for constraint satisfaction problems [AC1-3, PC1-2]
  A.K. Mackworth and E.C. Freuder, in Artificial Intelligence 25, pages 65-74, 1985.
• Arc and path consistency revised [AC4, PC3]
  R. Mohr and T.C. Henderson, in Artificial Intelligence 28, pages 225-233, 1986.
• Arc consistency for factorable relations [AC5]
  M. Perlin, in Artificial Intelligence 53, pages 329-342, 1992.
• A generic arc-consistency algorithm and its specializations [AC5]
  P. Van Hentenryck, Y. Deville, and C.-M. Teng, in Artificial Intelligence 57, pages 291-321, 1992.
• Arc-consistency and arc-consistency again [AC6]
  C. Bessiere, in Artificial Intelligence 65, pages 179-190, 1994.
• Using constraint metaknowledge to reduce arc consistency computation [AC7]
  C. Bessiere, E.C. Freuder, and J.-R. Régin, in Artificial Intelligence 107, pages 125-148, 1999.
• Comments on Mohr and Henderson's path consistency algorithm [PC4]
  C. Han and C. Lee, in Artificial Intelligence 36, pages 125-130, 1988.
• Path Consistency Revised [PC5]
  M. Singh, in Proceedings of the 7th IEEE International Converence on Tolls with Artificial Intelligence, pages 318-325, 1995.
• Improving Domain Filtering using Restricted Path Consistency [RPC]
  P. Berlandier, in Proceedings of the IEEE CAIA-95, Los Angeles CA, 1995.
• Neighborhood inverse consistency preprocessing [NIC]
  E. Freuder and C. D. Elfe, in Proceedings of the AAAI National Conference, pages 202-208, 1996.
• Some practicable filtering techniques for the constraint satisfaction problem
  R. Debruyne and C. Bessi`ere, in Proceedings of the 15th IJCAI, pages 412-417, 1997.
• Singleton Consistencies
  P. Prosser, K. Stergiou, T. Walsh, in Proc Principles and Practice of Constraint Programming (CP2000), pages 353-368, 2000.
• A generic customizable framework for inverse local consistency
  G. Verfaillie, D. Martinez, and C. Bessiere, in Proceedings of the AAAI National Conference, pages 169-174, 1999.
• A filtering algorithm for constraints of difference in CSPs
  J.C. R'egin, in AAAI-94, in Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 362-367, 1994.