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

Research Output 1984 2019

Filter
Other
2005

Towards the new modelling language zinc

Rafeh, R., Marriott, K. G., Wallace, M. & Garcia De La Banda, M. J., 2005, p. 138 - 142. 5 p.

Research output: Contribution to conferenceOther

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