1. Bauer, A., Botea, V., Brown, M., Gray, M., Harabor, D., & Slaney, J. (2010). An integrated modelling, debugging, and visualisation environment for G12. In CP 2010. LNCS, (Vol. 6308 pp. 522–536): Springer.
2. Burch, M., Raschke, M., & Weiskopf, D. (2010). Indented pixel tree plots. In Advances in Visual Computing (pp. 338–349): Springer.
3. Carro, M., & Hermenegildo, M. Tools for constraint visualisation: The VIFID/TRIFID tool. In: Deransart et al. [6], pp. 253–272.
4. Choi, C.W., Lee, J.H.M., & Stuckey, P.J. (2007). Removing propagation redundant constraints in redundant modeling. ACM Transactions on Computational Logic, 8(4). doi:
10.1145/1276920.1276925
.
5. Chu, G.G. (2011). Improving combinatorial optimization. Ph.D. thesis: University of Melbourne.