- Enhancing Constraint Models for Planning Problems +22009 | Faculty of Mathematics and Physics
- Revisiting Constraint Models for Planning Problems2009 | Faculty of Mathematics and Physics
- Encoding of Planning Problems and their Optimizations in Linear Logic +12009 | Faculty of Mathematics and Physics
- Reformulating Planning Problems by Eliminating Unpromising Actions2009 | Faculty of Mathematics and Physics
- Encoding of Planning Problems and Their Optimizations in Linear Logic2009 | Faculty of Mathematics and Physics
- On modeling planning problems in tabled logic programming2015 | Faculty of Mathematics and Physics
- On Modeling Planning Problems: Experience From The Petrobras Challenge +12013 | Faculty of Mathematics and Physics
- On Modelling Multi-Agent Path Finding as a Classical Planning Problem +12020 | Faculty of Mathematics and Physics
- Looking for Planning Problems Solvable in Polynomial Time via Investigation of Structures of Action Dependencies2008 | Faculty of Mathematics and Physics
- Using Monte Carlo Tree Search to Solve Planning Problems in Transportation Domains2013 | Faculty of Mathematics and Physics
- Making Solutions of Multi-robot Path Planning Problems Shorter Using Weak Transpositions and Critical Path Parallelism2009 | Faculty of Mathematics and Physics
- Enhancing Constraint Models for Planning Problems2008 | Charles University
- 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
- Using Finite State Automata to Model and Solve Planning Problems2011 | Faculty of Mathematics and Physics
- Using Finite-State Automata to Model and Solve Planning Problems2010 | Faculty of Mathematics and Physics
- Compiling Planning Problems with Non-deterministic Events into FOND Planning2020 | Faculty of Mathematics and Physics
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem2014 | Faculty of Mathematics and Physics
- When Planning Should Be Easy: On Solving Cumulative Planning Problems2012 | Faculty of Mathematics and Physics
- Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain2017 | Faculty of Mathematics and Physics
- COPLAS. Constraint Satisfaction Techniques for Planning and Scheduling ProblemsPublication without faculty affiliation
- Constraint Models for Sequential Planning2009 | Faculty of Mathematics and Physics
- On Constraint Models for Parallel Planning: The Novel Transition Scheme2011 | Faculty of Mathematics and Physics
- A Novel Constraint Model for Parallel Planning2011 | Faculty of Mathematics and Physics
- Parallel Planning as a Constraint Satisfaction Problem2011 | Faculty of Mathematics and Physics