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
A Constraint Composition Approach for Numerical CSPs
June 2010
Cruz10
Traditional algorithms for enforcing hull-consistency on numerical CSPs rely on the decomposition of the original constraints into a set of primitive constraints for which the inverse with respect to each variable can be easily computed. The decomposition of the constraints has the main disadvantage of worsening the dependency problem due to the addition of new variables and consequent loss of the dependency between values of related variables. This talk presents a new approach where the main idea is exactly the opposite, i.e., to try to compose equality constraints reducing the dependency problem. Such composition may be effective if hull-consistency can still be enforced on the resulting composite constraint. In fact, recent research shows that hull-consistency enforcement does not require the decomposition into primitive constraints as long as the original constraint function is monotonic with respect to each variable...
In proceedings
Jorge Cruz
SWIM 2010 - Third Small Workshop on Interval Methods
-
-
-
-
-
-
-
-
http://www.lina.univ-nantes.fr/swim2010/
Export formats
Jorge Cruz, A Constraint Composition Approach for Numerical CSPs, , SWIM 2010 - Third Small Workshop on Interval Methods, (http://www.lina.univ-nantes.fr/swim2010/), June 2010.
<a href="/people/members/view.php?code=3f6f0c9973cdaeab1a3dd815682bb0ac" class="author">Jorge Cruz</a>, <b>A Constraint Composition Approach for Numerical CSPs</b>, <u>SWIM 2010 - Third Small Workshop on Interval Methods</u>, (<a href="http://www.lina.univ-nantes.fr/swim2010/" target="_blank">url</a>), June 2010.
@inproceedings {Cruz10, author = {Jorge Cruz}, title = {A Constraint Composition Approach for Numerical CSPs}, booktitle = {SWIM 2010 - Third Small Workshop on Interval Methods}, url = {http://www.lina.univ-nantes.fr/swim2010/}, abstract = {Traditional algorithms for enforcing hull-consistency on numerical CSPs rely on the decomposition of the original constraints into a set of primitive constraints for which the inverse with respect to each variable can be easily computed. The decomposition of the constraints has the main disadvantage of worsening the dependency problem due to the addition of new variables and consequent loss of the dependency between values of related variables. This talk presents a new approach where the main idea is exactly the opposite, i.e., to try to compose equality constraints reducing the dependency problem. Such composition may be effective if hull-consistency can still be enforced on the resulting composite constraint. In fact, recent research shows that hull-consistency enforcement does not require the decomposition into primitive constraints as long as the original constraint function is monotonic with respect to each variable...}, month = {June}, year = {2010}, }
Publication's urls
/publications/view.php?code=aac1c9792f5a3606e8e54f508f4bb9a9
/publications/view.php?code=Cruz10
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