%0 Journal Article %1 journals/tplp/AmadiniGM18 %A Amadini, Roberto %A Gabbrielli, Maurizio %A Mauro, Jacopo %D 2018 %J Theory Pract. Log. Program. %K %N 1 %P 81-96 %T SUNNY-CP and the MiniZinc challenge. %U http://dblp.uni-trier.de/db/journals/tplp/tplp18.html#AmadiniGM18 %V 18

@article{journals/tplp/AmadiniGM18, added-at = {2023-12-13T01:18:05.000+0100}, author = {Amadini, Roberto and Gabbrielli, Maurizio and Mauro, Jacopo}, biburl = {https://www.bibsonomy.org/bibtex/21c9dc31ac412d503f2093ff9b6f39bba/admin}, ee = {https://doi.org/10.1017/S1471068417000205}, interhash = {6f960f85e9a607894980dd0502e53286}, intrahash = {1c9dc31ac412d503f2093ff9b6f39bba}, journal = {Theory Pract. Log. Program.}, keywords = {}, number = 1, pages = {81-96}, timestamp = {2023-12-13T01:18:05.000+0100}, title = {SUNNY-CP and the MiniZinc challenge.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp18.html#AmadiniGM18}, volume = 18, year = 2018 }