Publications
- Reformulating Constraint Models for Classical Planning2008 | Charles University
- Reformulating Constraint Models for Classical Planning2008 | Faculty of Mathematics and Physics
- Yet more planning efficiency: Finite-domain state-variable reformulation2015 | Faculty of Mathematics and Physics, Charles University
- Towards AI Planning Efficiency: Finite-domain State Variable Reformulation2013 | Faculty of Mathematics and Physics, Charles University
- Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems2012 | Faculty of Mathematics and Physics
- When Planning Should Be Easy: On Solving Cumulative Planning Problems2012 | Faculty of Mathematics and Physics
- Using Finite State Automata to Model and Solve Planning Problems2011 | Faculty of Mathematics and Physics
- Two Semantics for Step-Parallel Planning: Which One to Choose? +12011 | Faculty of Mathematics and Physics
- When Planning Should Be Easy: On Solving Relaxed Planning Problems2011 | Faculty of Mathematics and Physics
- Solving Sequential Planning Problems via Constraint Satisfaction2010 | Faculty of Mathematics and Physics
Loading network view...