Publications
- Solving Sequential Planning Problems via Constraint Satisfaction2010 | Faculty of Mathematics and Physics
- Using Finite-State Automata to Model and Solve Planning Problems2010 | Faculty of Mathematics and Physics
- Constraint Models for Sequential Planning2009 | Faculty of Mathematics and Physics
- Enhancing Constraint Models for Planning Problems +22009 | Faculty of Mathematics and Physics
- Revisiting Constraint Models for Planning Problems2009 | Faculty of Mathematics and Physics
- Reformulating Constraint Models for Classical Planning2008 | Charles University
- Enhancing Constraint Models for Planning Problems2008 | 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
Loading network view...