References
Download bibtex
[RendlPhDThesis] Andrea Rendl Effective compilation of constraint models Ph.D. thesis, University of St Andrews, UK 2010