Now showing items 1-3 of 3

  • 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 ...
  • CSP - there is more than one way to model it. 

    Renker, Gerrit; Ahriz, Hatem; Arana, Ines (Springer-Verlag, 2002)
    RENKER, G., AHRIZ, H. and ARANA, I., 2002. CSP – there is more than one way to model it. In: A. PREECE, F. COENEN and M. BRAMER eds. Research and development in intelligent systems XIX. Proceedings of ES2002, the twenty-second SGAI international conference on knowledge based systems and applied artificial intelligence. 10-12 December 2002. Cambridge, UK. pp. 395-408.
    In this paper, we present an approach for conceptual modelling of con- straint satisfaction problems (CSP). The main objective is to achieve a similarly high degree of modelling support for constraint problems as it is ...
  • An introduction to interval-based constraint processing. 

    Renker, Gerrit; Ahriz, Hatem (Polish Academy of Sciences Committee of Automatic Control and Robotics, 2006)
    RENKER, G. and AHRIZ, H., 2006. An introduction to interval-based constraint processing. Archives of Control Sciences, 16 (2), pp. 161-190
    Constraint programming is often associated with solving problems over finite domains. Many applications in engineering, CAD and design, however, require solving problems over continuous (real-valued) domains. While simple ...