- Recenze knih: Constraint Processing, Handbook of Constraint Programming2008 | Matematicko-fyzikální fakulta
- History of Constraint Programming2011 | Matematicko-fyzikální fakulta
- Omezující podmínky v plánování2008 | Matematicko-fyzikální fakulta
- Předmluva ke speciálnímu číslu o omezujících podmínkách2006 | Matematicko-fyzikální fakulta
- Použití programování s omezujícími podmínkami pro plánování efektivních přenosů dat v gridech2009 | Matematicko-fyzikální fakulta
- Modelling and Solving Scheduling Problems using Constraint Programming2011 | Matematicko-fyzikální fakulta
- Interval linear programming techniques in constraint programming and global optimization2014 | Matematicko-fyzikální fakulta
- Towards Routing for Autonomous Robots: Using Constraint Programming in an Anytime Path Planner2011 | Matematicko-fyzikální fakulta
- Plánování efektivního přenos dat mezi počítači pro datově náročné aplikace použitím technik splňování podmínek2010 | Matematicko-fyzikální fakulta
- Constraint Programming: What is behind?1999 | Matematicko-fyzikální fakulta
- Integrace AI a OR technik ve splňování podmínek pro kombinatorické optimalizační problémy2005 | Matematicko-fyzikální fakulta
- Programování s omezujícími podmínkami - na cestě ke svatému grálu2000 | Matematicko-fyzikální fakulta
- On-line Guide to Constraint Programming1998 | Matematicko-fyzikální fakulta
- Constraint Programming: A Survey of Solving Technology1999 | Matematicko-fyzikální fakulta
- Constraint Programming: In Pursuit of the Holy Grail1999 | Matematicko-fyzikální fakulta
- Řešení problému alokace rotací na letadla použítím splňování omezujících podmínek2010 | Matematicko-fyzikální fakulta
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CPAIOR 20052005 | Matematicko-fyzikální fakulta
- Mezinarodní konference o integraci AI a OR technik ve splňování podmínek pro problémy kombinatorické optimalizacePublikace bez příslušnosti k fakultě
- A Scheduling-Based Approach to Multi-Agent Path Finding with Weighted and Capacitated Arcs2018 | Matematicko-fyzikální fakulta
- Correcting Hierarchical Plans by Action Deletion2021 | Matematicko-fyzikální fakulta
- Plánovací heuristiky pro efektivní přenos dat na gridech2009 | Matematicko-fyzikální fakulta
- Adaptace konzistence po cestě pro booleovskou splnitelnost2010 | Matematicko-fyzikální fakulta
- Exploiting Global Properties in Path-Consistency Applied on SAT2011 | Matematicko-fyzikální fakulta
- Řešené těžkých SAT instancí pomocí hladového rozkladu na kliky2007 | Matematicko-fyzikální fakulta
- Adaptace konzistence po cestě pro booleovskou splnitelnost: teoretické představení konceptu2010 | Matematicko-fyzikální fakulta
- Řešení obtížných případů problému splnitelnosti Booleovských formulí2007 | Matematicko-fyzikální fakulta
- Úvod do speciálního čísla o technikách omezujících podmínek pro plánovací a rozvrhovací problémy2008 | Matematicko-fyzikální fakulta
- Uvažování o relacích mutex v algoritmu Graphplan z pohledu omezujících podmínek2006 | Matematicko-fyzikální fakulta
- COPLAS. Constraint Satisfaction Techniques for Planning and Scheduling ProblemsPublikace bez příslušnosti k fakultě
- MAK(E) - A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises2012 | Matematicko-fyzikální fakulta