Now showing items 1-1 of 1

  • Building models through formal specification. 

    Renker, Gerrit; Ahriz, Hatem (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-401
    Over 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 ...