- An Adaptation of Path Consistency for Boolean Satisfiability2010 | Faculty of Mathematics and Physics
- Between Path-Consistency and Higher Order Consistencies in Boolean Satisfiability2011 | Faculty of Mathematics and Physics
- An Adaptation of Path Consistency for Boolean Satisfiability: a Theoretical View of the Concept2010 | Faculty of Mathematics and Physics
- Making Path Consistency Stronger for SAT2008 | Faculty of Mathematics and Physics
- Exploiting Global Properties in Path-Consistency Applied on SAT2011 | Faculty of Mathematics and Physics
- Principles of Constraint Processing2008 | Faculty of Mathematics and Physics