A Framework for Decision-based ConsistenciesReportar como inadecuado

A Framework for Decision-based Consistencies - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CRIL - Centre de Recherche en Informatique de Lens

Abstract : Consistencies are properties of constraint networks that can be enforced by appropriate algorithms to reduce the size of the search space to be explored. Recently, many consistencies built upon taking decisions most often, variable assignments and stronger than general- ized arc consistency have been introduced. In this paper, our ambition is to present a clear picture of decision-based consistencies. We identify four general classes or levels of decision-based consistencies, denoted by S∆φ, E∆φ, B∆φ and D∆φ, study their relationships, and show that known consistencies are particular cases of these classes. Interestingly, this gen- eral framework provides us with a better insight into decision-based con- sistencies, and allows us to derive many new consistencies that can be directly integrated and compared with other ones.

Autor: Jean-Francois Condotta - Christophe Lecoutre -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados