• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

RIV/00216208:11320/08:00100414 - Principles of Constraint Processing (2008)

Údaje o výsledku
Identifikační kódRIV/00216208:11320/08:00100414
Název v původním jazycePrinciples of Constraint Processing
Název českyPrincipy zpracování podmínek
DruhC - Kapitola v knize
Jazykeng - angličtina
OborJC - Počítačový hardware a software
Rok uplatnění2008
Kód důvěrnosti údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Počet výskytů výsledku2
Tvůrci výsledku
Počet tvůrců celkem1
Počet domácích tvůrců1
TvůrceBarták Roman (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku)
Údaje blíže specifikující výsledek
Popis v původním jazyceThis chapter gives an introduction to mainstream constraint satisfaction techniques available in existing constraint solvers and answers the question 'How does constraint satisfaction work?'. The focus of the chapter is on techniques of constraint propagation, depth-first search, and their integration. It explains backtracking, its drawbacks, and how to remove these drawbacks by methods such as backjumping and backmarking. Then, the focus is on consistency techniques; it explains methods such as arc and path consistency and introduces consistencies of higher level. It also presents how consistency techniques are integrated with depth-first search algorithms in a look-ahead concept and what value and variable ordering heuristics are available there. Finally, techniques for optimization with constraints are presented.
Popis českyKapitola podává přehled o hlavních technikách splňování omezujících podmínek.
Klíčová slovaPrinciples; Constraint; Processing
Název knihyArtificial Intelligence for Advanced Problem Solving Techniques
ISBN978-1-59904-705-8
Počet stran výsledku44
Název edice a číslo svazku1
Název nakladateleIdea Group
Počet stran knihy388
Počet výtisků knihy5 000
Místo vydáníHershey, USA
Údaje o tomto záznamu o výsledku
PředkladatelUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2009
Systémové označení dodávky datRIV09-MSM-11320___/01:1
Datum dodání2.7.2009
SpecifikaceRIV/00216208:11320/08:00100414!RIV09-MSM-11320___
Kontrolní kód[2D5B1818E590]
Další výskyty tohoto výsledku od stejného předkladatele
Dodáno GA ČR v roce 2009Záznam s identifikačním kódem RIV/00216208:11320/08:00100414 v dodávce dat RIV09-GA0-11320___/01:1
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
ProjektGA201/07/0205 - Dynamické aspekty rozvrhování (2007-2009, GA0/GA)
ProjektGA201/08/0509 - Integrace strojového učení a splňování omezujících podmínek (2008-2010, GA0/GA)
Projekt1M0545 - Institut Teoretické Informatiky (2005-2011, MSM/1M)
Výzkumný záměrMSM0021620838 - Moderní metody, struktury a systémy informatiky (2005-2011, MSM)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00305. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).