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
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.