- Book Review: Constraint Processing, Handbook of Constraint Programming2008 | Faculty of Mathematics and Physics
- Constraint Models for Sequential Planning2009 | Faculty of Mathematics and Physics
- Experiences of occupational therapists and physiotherapists with the methods of Constraint-Induced Movement Therapy: use in telerehabilitationPublication without faculty affiliation
- A Flexible Constraint Model for Validating Plans with Durative Actions2005 | Faculty of Mathematics and Physics
- Revisiting Constraint Models for Planning Problems2009 | Faculty of Mathematics and Physics
- Computing explanations for the unary resource constraint2005 | Faculty of Mathematics and Physics
- Constraint management as a effective tool of an aplication of knowledge management in a company practicePublication without faculty affiliation
- The complexity of Equality Constraint Languages +12006 | Faculty of Mathematics and Physics
- Enhancing Constraint Models for Planning Problems2009 | Faculty of Mathematics and Physics
- Constraint solversPublication without faculty affiliation
- 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
- Describing and Verifying Integrity Constraints in XML Using OCL2012 | 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
- Constraints: from Sudoku to space applications2007 | Faculty of Mathematics and Physics
- Ordinal Classification with Monotonicity Constraints2006 | Faculty of Mathematics and Physics
- A Novel Constraint Model for Parallel Planning2011 | Faculty of Mathematics and Physics
- Constraint Satisfaction for Planning and Scheduling2005 | Faculty of Mathematics and Physics