Cílem práce je vytvořit katalog existujících globálních podmínek navržených jak v teoretických pracech tak implementovaných v existujících systémech pro řešení omezujících podmínek.
Seznam odborné literatury
Sborníky konferencí CP (LNCS) a AAAI
Nicolas Beldiceanu. Special Issue on Global Constraints. Constraints 12(1): 1-2 (2007)
Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon. Global Constraint Catalog. Technical Report T2005-08, Swedish Institute of Computer Science (SICS), 2005.
Předběžná náplň práce
Globální omezující podmínky hrají klíčovou roli při řešení reálných kombinatorických problémů a to díky zabalení speciálních řešících technik pro konkrétní pod-problém a následnou integraci těchto technik v rámci obecných technik splňování podmínek. Dnes existuje velké množství různých globálních podmínek vytvořených pro řešení konkrétních problémů nebo navržených na základě stávajících řešících technik. Tato práce podává snadno použitelný přehled existujících globálních podmínek s důrazem na jejich praktickou využitelnost.
Předběžná náplň práce v anglickém jazyce
Global constraints play a crucial role in solving real-life combinatorial problems thanks to encapsulation of dedicated solving techniques for particular sub-problems and integration of these techniques via general constraint satisfaction technology. There exist many global constraints developed for particular problems as well as derived from existing solving techniques. This work focuses on providing an easy-to-use survey of existing global constraints with particular emphasis on practical applicability.
- zadáno a potvrzeno stud. odd.