@inproceedings{2fcd23c5a82d4c269dba6816df029ea0,
title = "Compiling and executing declarative modeling languages to gecode",
abstract = "We developed a compiler from SICStus Prolog CLP(FD) to Gecode and a compiler from MiniZinc to Gecode. We compared the running times of the executions of (standard) codes directly in the three languages and of the compiled codes for some classical problems. Performances of the compiled codes in Gecode improve those in the original languages and are comparable with running time of native Gecode code. This is a first step towards the definition of a unified declarative modeling tool for combinatorial problems.",
author = "Raffaele Cipriano and Agostino Dovier and Jacopo Mauro",
year = "2008",
month = dec,
day = "1",
doi = "10.1007/978-3-540-89982-2_69",
language = "English",
isbn = "3540899812",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science+Business Media",
pages = "744--748",
booktitle = "Logic Programming - 24th International Conference, ICLP 2008, Proceedings",
note = "24th International Conference on Logic Programming, ICLP 2008 ; Conference date: 09-12-2008 Through 13-12-2008",
}