Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Extending the Finite Domain Solver of GNU Prolog
July 2014
BloemenDBA:2014:CICLOPS
-
In proceedings
Vincent Bloemen, Daniel Diaz, Machiel van der Bijl, Salvador Abreu
Proc. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2014)
-
-
-
-
-
-
-
-
http://cri-dist.univ-paris1.fr/diaz/publications/GNU-PROLOG/ciclops14.pdf
Export formats
Vincent Bloemen and Daniel Diaz and Machiel van der Bijl and Salvador Abreu, Extending the Finite Domain Solver of GNU Prolog, , Proc. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2014), (http://cri-dist.univ-paris1.fr/diaz/publications/GNU-PROLOG/ciclops14.pdf), July 2014.
Vincent Bloemen, Daniel Diaz, Machiel van der Bijl and <a href="/people/members/view.php?code=e927e6f7f16b0d293c89324129b1ea0e" class="author">Salvador Abreu</a>, <b>Extending the Finite Domain Solver of GNU Prolog</b>, <u>Proc. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2014)</u>, (<a href="http://cri-dist.univ-paris1.fr/diaz/publications/GNU-PROLOG/ciclops14.pdf" target="_blank">url</a>), July 2014.
@inproceedings {BloemenDBA:2014:CICLOPS, author = {Vincent Bloemen and Daniel Diaz and Machiel van der Bijl and Salvador Abreu}, title = {Extending the Finite Domain Solver of GNU Prolog}, booktitle = {Proc. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2014)}, url = {http://cri-dist.univ-paris1.fr/diaz/publications/GNU-PROLOG/ciclops14.pdf}, month = {July}, year = {2014}, }
Publication's urls
/publications/view.php?code=0f9b9ccd1bc4b9edb5b1b51fe9cae905
/publications/view.php?code=BloemenDBA:2014:CICLOPS
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT