- Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors2015 | Faculty of Mathematics and Physics
- An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors2012 | Faculty of Mathematics and Physics
- Generalized Gray codes with prescribed ends2017 | Faculty of Mathematics and Physics
- Lower Bounds for Elimination via Weak Regularity2017 | Faculty of Mathematics and Physics