- Between Path-Consistency and Higher Order Consistencies in Boolean Satisfiability2011 | Faculty of Mathematics and Physics
- An Adaptation of Path Consistency for Boolean Satisfiability2010 | Faculty of Mathematics and Physics
- An Adaptation of Path Consistency for Boolean Satisfiability: a Theoretical View of the Concept2010 | Faculty of Mathematics and Physics
- Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective2016 | Faculty of Mathematics and Physics
- Pre-processing in Boolean Satisfiability Using Bounded (2,k)-Consistency on Regions with Locally Difficult Constraint Setup2014 | Faculty of Mathematics and Physics
- Colored Multi-Agent Path Finding: Solving Approaches2021 | Faculty of Mathematics and Physics
- From Classical to Colored Multi-Agent Path Finding2021 | Faculty of Mathematics and Physics
- Constraint Programming in Planning2008 | Faculty of Mathematics and Physics
- Exploiting Global Properties in Path-Consistency Applied on SAT2011 | Faculty of Mathematics and Physics
- An Efficient Heuristic for SAT Exploiting Connected Components of the Problem2009 | Faculty of Mathematics and Physics
- Enhancing Constraint Models for Planning Problems2008 | Charles University
- Enhancing Constraint Models for Planning Problems +12009 | Faculty of Mathematics and Physics
- Revisiting Constraint Models for Planning Problems2009 | Faculty of Mathematics and Physics
- Compilation-Based Approaches to Parallel Planning: An Empirical Comparison2021 | Faculty of Mathematics and Physics
- CHC Model Validation with Proof Guarantees2024 | Faculty of Mathematics and Physics