DS-2005-02: van Hoeve, Willem-Jan (2005) Operations Research Techniques in Constraint Programming. Doctoral thesis, University of Amsterdam.