Research Output 1984 2017

Filter
Other
2008

Lightweight dynamic symmetry breaking

Aloul, F. (ed.), Mears, C. D., Benhamou, B. (ed.), Garcia De La Banda, M. J., Demoen, B., Sais, L. (ed.) & Wallace, M. 2008 p. 1 - 10 10 p.

Research output: Other

Symmetry breaking and branching constraints

Aloul, F. (ed.), Mears, C. D., Benhamou, B. (ed.), Garcia De La Banda, M. J., Sais, L. (ed.), Wallace, M. & Demoen, B. 2008 p. 1 - 6 6 p.

Research output: Other

2005

Towards the new modelling language zinc

Balbo, B. (ed.), Rafeh, R., Baxter, A. (ed.), Marriott, K. G., Hughes, B. (ed.), Wallace, M., al, E. (ed.) & Garcia De La Banda, M. J. 2005 p. 138 - 142 5 p.

Research output: Other