Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Labeling and Partial Local Consistency for Soft Constraint Programming
| |
|
Labeling and Partial Local Consistency for Soft Constraint Programming
Stefano Bistarelli6 , Philippe Codognet7 , Yan Georget8 and Francesca Rossi9 
| (6) |
Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa, Italy |
| (7) |
University of Paris 6, LIP6, case 169, 4, Place Jussieu, 75 252 Paris Cedex 05, France |
| (8) |
INRIA Rocquencourt, BP 105, 78153 Le Chesnay, France |
| (9) |
Dipartimento di Matematica Pura ed Applicata, Università di Padova, Via Belzoni 7, 35131 Padova, Italy |
Abstract
In this paper we generalize to soft constraints the approximation techniques usually used for local consistency in classical
constraint satisfaction and programming. The theoretical results show that this is indeed possible without loosing the fundamental
properties of such techniques, and the experimental results (on partial arc-consistency) show that this work can help develop
more efficient implementations for logic-based languages working with soft constraints.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|