• č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/10:10052035 - Solving Sequential Planning Problems via Constraint Satisfaction (2010)

Údaje o výsledku
Identifikační kódRIV/00216208:11320/10:10052035
Název v původním jazyceSolving Sequential Planning Problems via Constraint Satisfaction
DruhJ - Článek v odborném periodiku
Jazykeng - angličtina
OborIN - Informatika
Rok uplatnění2010
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ů celkem2
Počet domácích tvůrců2
TvůrceBarták Roman (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku)
TvůrceToropila Daniel (státní příslušnost: SK - Slovenská republika; A - domácí tvůrce)
Údaje blíže specifikující výsledek
Popis v původním jazyceThe paper describes how to enhance existing constraint models of sequential planning problems by using techniques such as symmetry breaking (dominance rules), singleton consistency, nogoods, lifting, or techniques motivated by the partial-order planning.
Klíčová slovaConstraint Satisfaction; Sequential Planning
Kód UT ISI000277761200002
Název periodkaFundamenta Informaticae
ISSN0169-2968
Svazek periodika99
Číslo periodika v rámci uvedeného svazku2
Stát vydavatele periodikaNL - Nizozemské království
Počet stran výsledku21
Údaje o tomto záznamu o výsledku
PředkladatelUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2011
Systémové označení dodávky datRIV11-GA0-11320___/01:1
Datum dodání30.5.2011
SpecifikaceRIV/00216208:11320/10:10052035!RIV11-GA0-11320___
Kontrolní kód[5E4C44A0192D]
Další výskyty tohoto výsledku od stejného předkladatele
Dodáno MŠMT v roce 2011Záznam s identifikačním kódem RIV/00216208:11320/10:10052035 v dodávce dat RIV11-MSM-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)
ProjektGD201/09/H057 - Res Informatica (2009-2012, GA0/GD)
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_00318. 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.).