- Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors2015 | Matematicko-fyzikální fakulta
- An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors2012 | Matematicko-fyzikální fakulta
- Generalized Gray codes with prescribed ends2017 | Matematicko-fyzikální fakulta
- Lower Bounds for Elimination via Weak Regularity2017 | Matematicko-fyzikální fakulta