- Constraint-based semantic parsing2015 | Faculty of Mathematics and Physics
- A Constraint-based Planner for Mars Express Orbiter2014 | Faculty of Mathematics and Physics
- An Introduction to Constraint-Based Temporal Reasoning2014 | Faculty of Mathematics and Physics
- Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach2006 | Faculty of Mathematics and Physics
- Constraint-Based Open Question Answering via Knowledge Graph Search2016 | Faculty of Mathematics and Physics
- Constraint Based Reasoning over Mutex Relations in Graphplan Algorithm2006 | Faculty of Mathematics and Physics
- Constraint-based Timetabling +1Publication without faculty affiliation
- Constraint-Based Scheduling: An Introduction for NewcomersPublication without faculty affiliation
- Czech Syntactic Analysis Constraint-Based, XDG: One Possible Start2004 | Faculty of Mathematics and Physics
- Constraint-based Generation of Connectors2003 | Faculty of Mathematics and Physics
- Constraint-based Scheduling: An Introduction for Newcomers.2003 | Faculty of Mathematics and Physics
- Problems of Inducing Large Coverage Constraint-Based Dependency Grammar for Czech2004 | Faculty of Mathematics and Physics
- Modelling Resource Transitions in Constraint-Based Scheduling2002 | Publication without faculty affiliation
- A constraint-based approach to dependency syntax applied to some issues of Czech word orderPublication without faculty affiliation
- Tackling Train Routing via Multi-agent Pathfinding and Constraint-based Scheduling2022 | Faculty of Mathematics and Physics
- Identifying Grammar Rules for Language Education with Dependency Parsing in GermanPublication without faculty affiliation
- Coping with unruly language: non-standard usage in a corpus2018 | Faculty of Arts
- Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times2002 | Publication without faculty affiliation
- Propagating Deletions in Tabular Constraints2004 | Faculty of Mathematics and Physics
- Validating plans with durative actions via integrating Boolean and numerical constraintsPublication without faculty affiliation
- From Enterprise Models to Scheduling Models: Bridging the Gap +12010 | Faculty of Mathematics and Physics
- A Novel Constraint Model for Parallel Planning2010 | Faculty of Mathematics and Physics
- MAK(E) - A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises2012 | Faculty of Mathematics and Physics
- Incremental Propagation Rules for a Precedence Graph with Optional Activities and Time Windows2010 | Faculty of Mathematics and Physics
- Incremental Propagation of Time Windows on Disjunctive Resources2006 | Faculty of Mathematics and Physics
- Constraint qualifications and optimality conditions for optimization problems with cardinality constraints2016 | Publication without faculty affiliation
- When Planning Should Be Easy: On Solving Cumulative Planning Problems2012 | Faculty of Mathematics and Physics
- Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding2017 | Faculty of Mathematics and Physics