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
Type parametric compilation of algebraic constraints
August 2009
CorBar09
This paper focuses on the problem of propagating constraints involving arbitrary algebraic expressions. We formally describe previous approaches to this problem and propose a new model which does not decompose the expression thus avoiding introducing auxiliary data structures. We show how this compilation model fits naturally in a popular programming language supporting type parametricity, yielding significant speedups with respect to previous models.
In proceedings
Marco Correia, Pedro Barahona
L. Seabra Lopes, Nuno Lau
Progress in Artificial Intelligence
Lecture Notes in Computer Science
Springer
-
5816
201-212
978-3-642-04685-8
-
-
-
Publication files
- click here to download - pdf 152 KB
Export formats
Marco Correia and Pedro Barahona, Type parametric compilation of algebraic constraints, in: L. Seabra Lopes and Nuno Lau (eds), Progress in Artificial Intelligence, Lecture Notes in Computer Science, Springer, Vol. 5816, ISBN 978-3-642-04685-8, Pag. 201-212, August 2009.
<a href="/people/members/view.php?code=fb427fb6c74794541c445063c270688e" class="author">Marco Correia</a> and <a href="/people/members/view.php?code=7e27bc13fad97e99cd21ea6914d55659" class="author">Pedro Barahona</a>, <b>Type parametric compilation of algebraic constraints</b>, in: L. Seabra Lopes and Nuno Lau (eds), <u>Progress in Artificial Intelligence</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 5816, ISBN 978-3-642-04685-8, Pag. 201-212, August 2009.
@inproceedings {CorBar09, author = {Marco Correia and Pedro Barahona}, editor = {L. Seabra Lopes and Nuno Lau}, title = {Type parametric compilation of algebraic constraints}, booktitle = {Progress in Artificial Intelligence}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {5816}, pages = {201-212}, isbn = {978-3-642-04685-8}, abstract = {This paper focuses on the problem of propagating constraints involving arbitrary algebraic expressions. We formally describe previous approaches to this problem and propose a new model which does not decompose the expression thus avoiding introducing auxiliary data structures. We show how this compilation model fits naturally in a popular programming language supporting type parametricity, yielding significant speedups with respect to previous models.}, month = {August}, year = {2009}, }
Publication's urls
/publications/view.php?code=94c07d99ed2ab170f239b440fbf713bb
/publications/view.php?code=CorBar09
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