- A SEPARATOR THEOREM FOR HYPERGRAPHS AND A CSP-SAT ALGORITHM2021 | Matematicko-fyzikální fakulta
- Compilation-Based Approaches to Parallel Planning: An Empirical Comparison2021 | Matematicko-fyzikální fakulta
- Pre-processing in Boolean Satisfiability Using Bounded (2,k)-Consistency on Regions with Locally Difficult Constraint Setup2014 | Matematicko-fyzikální fakulta
