Browsing by Subject "Z notation"
Now showing items 1-1 of 1
(Springer Verlag http://dx.doi.org/10.1007/b96957, 2004)RENKER, G. and AHRIZ, H. 2004. Building models through formal specification. In: Proceedings of the International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, CP-AI-OR'04. 20-22 April 2004. Nice, France. pp. 395-401Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the complexity of building models for constraint and ...