TY  - JOUR
AU  - Caballero Roldán, Rafael
AU  - Stuckey, Peter J.
AU  - Tenorio Fornés, Ámbar
PY  - 2015
DO  - 10.1016/j.scico.2015.04.007
SN  - 0167-6423
UR  - https://hdl.handle.net/20.500.14352/24376
T2  - Science of Computer Programming
AB  - 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...
LA  - eng
M2  - 156
PB  - Elsevier
KW  - Constraint Programming
KW  - NULL values
KW  - Union Types
TI  - Two type extensions for the constraint modelling language MiniZinc
TY  - journal article
VL  - 111
ER  -