Person:
Caballero Roldán, Rafael

Profile Picture
First Name
Rafael
Last Name
Caballero Roldán
URI
https://hdl.handle.net/20.500.14352/78654
Affiliation
Universidad Complutense de Madrid
Faculty / Institute
Informática
Department
Sistemas Informáticos y Computación
Area
Lenguajes y Sistemas Informáticos
Identifiers
UCM identifierORCIDScopus Author IDDialnet IDGoogle Scholar ID

Filters

20151
Reset filters

Settings

Subject: 004.438MiniZinc × Start date: 2015 × End date: 2015 ×

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Two type extensions for the constraint modelling language MiniZinc
    (Science of Computer Programming, 2015) Caballero Roldán, Rafael; Stuckey, Peter J.; Tenorio Fornés, Ámbar
    In this paper we present two type extensions for the modelling language MiniZinc that allow the representation of some problems in a more natural way. The first proposal, called MiniZinc? , extends existing types with additional values. The user can specify both the extension of a predefined type with new values, and the behavior of the operations with relation to the new types. We illustrate the usage of MiniZinc? to model SQL-like problems with integer variables extended with NULL values. The second extension, MiniZinc+, introduces union types in the language. This allows defining recursive types such as trees, which are very useful for modelling problems that involve complex structures. A new case statement is introduced to select the different components of union type terms. The paper shows how a model defined using these extensions can be transformed into a MiniZinc model which is equivalent to the original model.