Journal article

Two type extensions for the constraint modeling language MiniZinc

Rafael Caballero, Peter J Stuckey, Antonio Tenorio-Fornes

Science of Computer Programming | ELSEVIER SCIENCE BV | Published : 2015


Awarded by Spanish MINECO project CAVI-ART

Awarded by Madrid regional project N-GREENS Software-CM

Awarded by UCM

Funding Acknowledgements

Rafael Caballero partially supported by the Spanish MINECO project CAVI-ART (TIN2013-44742-C4-3-R), Madrid regional project N-GREENS Software-CM (S2013/ICE-2731), UCM grant GR3/14-910502.NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council.