Automatic triggering of constraint propagation

Resultado de la investigación: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

Resumen

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.

Idioma originalInglés
Título de la publicación alojadaComputational Science and Its Applications - ICCSA 2013, 13th International Conference, Proceedings
EditoresBeniamino Murgante, Bernady O. Apduhan, Hong-Quang Nguyen, Maurizio Carlini, Maurizio Carlini, Osvaldo Gervasi, David Taniar, Sanjay Misra, Sanjay Misra, Carmelo M. Torre
EditorialSpringer Verlag
Páginas452-461
Número de páginas10
ISBN (versión digital)9783642396366
EstadoPublicada - 2013
Publicado de forma externa
Evento13th International Conference on Computational Science and Its Applications, ICCSA 2013 - Ho Chi Minh City, Vietnam
Duración: 24 jun. 201327 jun. 2013

Serie de la publicación

NombreLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen7971
ISSN (versión impresa)0302-9743
ISSN (versión digital)1611-3349

Conferencia

Conferencia13th International Conference on Computational Science and Its Applications, ICCSA 2013
País/TerritorioVietnam
CiudadHo Chi Minh City
Período24/06/1327/06/13

Huella

Profundice en los temas de investigación de 'Automatic triggering of constraint propagation'. En conjunto forman una huella única.

Citar esto