Automatic triggering of constraint propagation

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.

Original languageEnglish
Title of host publicationComputational Science and Its Applications - ICCSA 2013, 13th International Conference, Proceedings
EditorsBeniamino Murgante, Bernady O. Apduhan, Hong-Quang Nguyen, Maurizio Carlini, Maurizio Carlini, Osvaldo Gervasi, David Taniar, Sanjay Misra, Sanjay Misra, Carmelo M. Torre
PublisherSpringer Verlag
Number of pages10
ISBN (Electronic)9783642396366
StatePublished - 2013
Externally publishedYes
Event13th International Conference on Computational Science and Its Applications, ICCSA 2013 - Ho Chi Minh City, Viet Nam
Duration: 24 Jun 201327 Jun 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference13th International Conference on Computational Science and Its Applications, ICCSA 2013
Country/TerritoryViet Nam
CityHo Chi Minh City


  • Constraint propagation
  • Constraint satisfaction problems
  • Constraint solving


Dive into the research topics of 'Automatic triggering of constraint propagation'. Together they form a unique fingerprint.

Cite this