Colección SciELO Chile

Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl
Búsqueda Publicación
Búsqueda por Tema Título, Abstract y Keywords



Automatic Triggering of Constraint Propagation
Indexado
WoS WOS:000335137400033
Scopus SCOPUS_ID:84880710989
DOI
Año 2013
Tipo proceedings paper

Citas Totales

Autores Afiliación Chile

Instituciones Chile

% Participación
Internacional

Autores
Afiliación Extranjera

Instituciones
Extranjeras


Abstract



A constraint satisfaction problem requires a value, selected from a given finite domain, to be assigned to each variable in the problem, so that all constraints relating the variables are satisfied. The main feature of any constraint solver is constraint propagation, it embeds any reasoning which consists in explicitly forbidding values or combinations of values for some variables of a problem because a given subset of its constraints cannot be satisfied otherwise. It is very important to apply constraint propagation as efficiently as possible. In this paper, we present a hybrid solver based on a Branch and Bound algorithm combined with constraint propagation to reduce the search space. Some rules trigger constraint propagation based on some observations of the solving process. The results show that is possible to make reasonable use of constraint propagation.

Disciplinas de Investigación



WOS
Sin Disciplinas
Scopus
Computer Science (All)
Theoretical Computer Science
SciELO
Sin Disciplinas

Muestra la distribución de disciplinas para esta publicación.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Colaboración Institucional



Muestra la distribución de colaboración, tanto nacional como extranjera, generada en esta publicación.


Autores - Afiliación



Ord. Autor Género Institución - País
1 MONFROY, ERIC BERNARD Hombre Univ Nantes - Francia
Université de Nantes - Francia
Nantes Université - Francia
2 CRAWFORD-LABRIN, BRODERICK Hombre Pontificia Universidad Católica de Valparaíso - Chile
Universidad Finis Terrae - Chile
3 SOTO-DE GIORGIS, RICARDO JAVIER Hombre Pontificia Universidad Católica de Valparaíso - Chile
Universidad Autónoma de Chile - Chile
4 Murgante, B -
5 Misra, S -
6 Carlini, M -
7 Torre, CM -
8 Nguyen, HQ -
9 Taniar, D -
10 Apduhan, BO -
11 Gervasi, O -

Muestra la afiliación y género (detectado) para los co-autores de la publicación.

Financiamiento



Fuente
Sin Información

Muestra la fuente de financiamiento declarada en la publicación.

Agradecimientos



Agradecimiento
Sin Información

Muestra la fuente de financiamiento declarada en la publicación.