Zanarini, A. (2010). Exploiting Global Constraints for Search and Propagation. (PhD thesis, École Polytechnique de Montréal).