Mostrar el registro sencillo del ítem

Automatic triggering of constraint propagation

dc.contributor.authorMonfroy E.
dc.contributor.authorCrawford B.
dc.contributor.authorSoto R.
dc.date.accessioned2020-09-02T22:23:32Z
dc.date.available2020-09-02T22:23:32Z
dc.date.issued2013
dc.identifier10.1007/978-3-642-39640-3-33
dc.identifier.citation7975 LNCS, PART 5, 452-461
dc.identifier.issn03029743
dc.identifier.urihttps://hdl.handle.net/20.500.12728/5385
dc.descriptionA 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. © 2013 Springer-Verlag Berlin Heidelberg.
dc.language.isoen
dc.subjectConstraint propagation
dc.subjectConstraint Satisfaction Problems
dc.subjectConstraint solving
dc.subjectBranch-and-bound algorithms
dc.subjectConstraint propagation
dc.subjectConstraint solvers
dc.subjectConstraint Solving
dc.subjectFinite domains
dc.subjectSearch spaces
dc.subjectBranch-and-bound algorithms
dc.subjectConstraint propagation
dc.subjectConstraint solvers
dc.subjectConstraint Solving
dc.subjectFinite domains
dc.subjectSearch spaces
dc.subjectAlgorithms
dc.subjectConstraint theory
dc.subjectLinear programming
dc.subjectLogic programming
dc.subjectAlgorithms
dc.subjectBranch and bound method
dc.subjectConstraint theory
dc.subjectLogic programming
dc.subjectProblem solving
dc.subjectConstraint satisfaction problems
dc.subjectConstraint satisfaction problems
dc.titleAutomatic triggering of constraint propagation
dc.typeConference Paper


Ficheros en el ítem

Thumbnail
Nombre:
item_2-s2.0-84880710989.pdf
Tamaño:
2.480Kb
Formato:
PDF
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem