- Constraint solversPublication without faculty affiliation
- Book Review: Constraint Processing, Handbook of Constraint Programming2008 | Faculty of Mathematics and Physics
- Constraint processing2005 | Faculty of Mathematics and Physics
- Constraint Processing2008 | Faculty of Mathematics and Physics
- Locally consistent constraint satisfaction problems with binary constraints +12005 | Faculty of Mathematics and Physics
- Principles of Constraint Processing2008 | Faculty of Mathematics and Physics
- Constraint qualifications and optimality conditions for optimization problems with cardinality constraints2016 | Publication without faculty affiliation
- History of Constraint Programming2011 | Faculty of Mathematics and Physics
- Effective Modeling with Constraints2005 | Faculty of Mathematics and Physics
- Global Constraints in Scheduling2007 | Faculty of Mathematics and Physics
- Reformulating Constraint Models for Classical Planning2008 | Charles University
- UCL - Universal Constraint Language2014 | Faculty of Mathematics and Physics
- A Lower Bound on CNF Encodings of the At-Most-One Constraint2017 | Faculty of Mathematics and Physics
- A lower bound on CNF encodings of the at-most-one constraint2019 | Faculty of Mathematics and Physics
- The Complexity of Equality Constraint Languages2008 | Faculty of Mathematics and Physics
- The complexity of Equality Constraint Languages +12006 | Faculty of Mathematics and Physics
- Constraints: from Sudoku to space applications2007 | Faculty of Mathematics and Physics
- Ordinal Classification with Monotonicity Constraints2006 | Faculty of Mathematics and Physics
- Constraint Models for Sequential Planning2009 | Faculty of Mathematics and Physics
- A Novel Constraint Model for Parallel Planning +12011 | Faculty of Mathematics and Physics
- Constraint Satisfaction for Planning and Scheduling2005 | Faculty of Mathematics and Physics
- An Introduction to Constraint-Based Temporal Reasoning2014 | Faculty of Mathematics and Physics
- The Complexity of Temporal Constraint Satisfaction Problems2010 | Faculty of Mathematics and Physics
- Constraint Satisfaction Techniques in Planning and Scheduling2010 | Faculty of Mathematics and Physics
- Automated Verification of Constraints in Nested Workflows2012 | Faculty of Mathematics and Physics
- Maximal Infinite-Valued Constraint Languages2007 | Faculty of Mathematics and Physics
- Constraint satisfaction for planning and scheduling problems2011 | Faculty of Mathematics and Physics