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

Research Output 1984 2019

Filter
Other
Other

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

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