Type Parametric Compilation of Algebraic Constraints

Authors:
Marco Correia;Pedro Barahona
Affiliations:
Centro de Inteligência Artificial, Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal 2829-516;Centro de Inteligência Artificial, Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal 2829-516
Venue:
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Year:
2009

Citing 6
Cited 1

Arc Consistency on n-ary Monotonic and Linear Constraints

CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Handbook of Constraint Programming (Foundations of Artificial Intelligence)

Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints

CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Perfect Derived Propagators

CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Data structures for generalised arc consistency for extensional constraints

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Views and iterators for generic constraint implementations

CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming

View-based propagator derivation

Constraints

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper addresses the problem of propagating constraints involving arbitrary algebraic expressions. We formally describe previous approaches to this problem and propose a new model that 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.