Hybrid strategies of enumeration in constraint solving

Eric Monfroy; Broderick Crawford; Ricardo Soto; Fernando Paredes

doi:10.5897/sre11.891

Hybrid strategies of enumeration in constraint solving

Eric Monfroy, Broderick Crawford, Ricardo Soto, Fernando Paredes

SCHOOL OF COMPUTER ENGINEERING

Research output: Contribution to journal › Article › peer-review

Abstract

Enumeration strategies (that is, selection of a variable and a value of its domain) are crucial components of Constraint Programming: they significantly influence the performances of the solving process, sometimes of several orders of magnitude. In this paper, we propose to use Local Search in order to help and guide enumeration: we extend the usual variable selection strategies of constraint programming and we perform the value selection with respect to the results of some local search. The experimental results obtained are rather promising.

Original language	English
Pages (from-to)	4587-4596
Number of pages	10
Journal	Scientific Research and Essays
Volume	6
Issue number	21
DOIs	https://doi.org/10.5897/sre11.891
State	Published - 30 Sep 2011

Keywords

Constraint programming
Heuristic search
Hybridization methods
Local search

Access to Document

10.5897/sre11.891

Cite this

@article{ce29e6842b1d40e6b853169160cb972e,

title = "Hybrid strategies of enumeration in constraint solving",

abstract = "Enumeration strategies (that is, selection of a variable and a value of its domain) are crucial components of Constraint Programming: they significantly influence the performances of the solving process, sometimes of several orders of magnitude. In this paper, we propose to use Local Search in order to help and guide enumeration: we extend the usual variable selection strategies of constraint programming and we perform the value selection with respect to the results of some local search. The experimental results obtained are rather promising.",

keywords = "Constraint programming, Heuristic search, Hybridization methods, Local search",

author = "Eric Monfroy and Broderick Crawford and Ricardo Soto and Fernando Paredes",

year = "2011",

month = sep,

day = "30",

doi = "10.5897/sre11.891",

language = "English",

volume = "6",

pages = "4587--4596",

journal = "Scientific Research and Essays",

issn = "1992-2248",

publisher = "Academic Journals",

number = "21",

}

TY - JOUR

T1 - Hybrid strategies of enumeration in constraint solving

AU - Monfroy, Eric

AU - Crawford, Broderick

AU - Soto, Ricardo

AU - Paredes, Fernando

PY - 2011/9/30

Y1 - 2011/9/30

N2 - Enumeration strategies (that is, selection of a variable and a value of its domain) are crucial components of Constraint Programming: they significantly influence the performances of the solving process, sometimes of several orders of magnitude. In this paper, we propose to use Local Search in order to help and guide enumeration: we extend the usual variable selection strategies of constraint programming and we perform the value selection with respect to the results of some local search. The experimental results obtained are rather promising.

AB - Enumeration strategies (that is, selection of a variable and a value of its domain) are crucial components of Constraint Programming: they significantly influence the performances of the solving process, sometimes of several orders of magnitude. In this paper, we propose to use Local Search in order to help and guide enumeration: we extend the usual variable selection strategies of constraint programming and we perform the value selection with respect to the results of some local search. The experimental results obtained are rather promising.

KW - Constraint programming

KW - Heuristic search

KW - Hybridization methods

KW - Local search

UR - http://www.scopus.com/inward/record.url?scp=80053583507&partnerID=8YFLogxK

U2 - 10.5897/sre11.891

DO - 10.5897/sre11.891

M3 - Article

AN - SCOPUS:80053583507

SN - 1992-2248

VL - 6

SP - 4587

EP - 4596

JO - Scientific Research and Essays

JF - Scientific Research and Essays

IS - 21

ER -

Hybrid strategies of enumeration in constraint solving

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this