If you made any changes in Pure these will be visible here soon.

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: Contribution to conferenceOther

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: Contribution to conferenceOther

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: Contribution to conferenceOther