Using Local Search for guiding enumeration in constraint solving

Eric Monfroy; Carlos Castro; Broderick Crawford

doi:10.1007/11861461_8

Using Local Search for guiding enumeration in constraint solving

Eric Monfroy, Carlos Castro, Broderick Crawford

SCHOOL OF COMPUTER ENGINEERING

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

Abstract

In Constraint Programming, enumeration strategies (selection of a variable and a value of its domain) are crucial for resolution performances. We propose to use Local Search for guiding enumeration: we extend the common variable selection strategies of constraint programming and we achieve the value selection based on a Local Search. The experimental results are rather promising.

Original language	English
Title of host publication	Artificial Intelligence
Subtitle of host publication	Methodology, Systems, and Applications - 12th International Conference, AIMSA 2006, Proceedings
Publisher	Springer Verlag
Pages	56-65
Number of pages	10
ISBN (Print)	3540409300, 9783540409304
DOIs	https://doi.org/10.1007/11861461_8
State	Published - 2006
Event	12th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2006 - Varna, Bulgaria Duration: 12 Sep 2006 → 15 Sep 2006

Publication series

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

Conference

Conference	12th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2006
Country/Territory	Bulgaria
City	Varna
Period	12/09/06 → 15/09/06

Access to Document

10.1007/11861461_8

Cite this

Monfroy, E., Castro, C., & Crawford, B. (2006). Using Local Search for guiding enumeration in constraint solving. In Artificial Intelligence: Methodology, Systems, and Applications - 12th International Conference, AIMSA 2006, Proceedings (pp. 56-65). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4183 LNCS). Springer Verlag. https://doi.org/10.1007/11861461_8

Monfroy, Eric ; Castro, Carlos ; Crawford, Broderick. / Using Local Search for guiding enumeration in constraint solving. Artificial Intelligence: Methodology, Systems, and Applications - 12th International Conference, AIMSA 2006, Proceedings. Springer Verlag, 2006. pp. 56-65 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5fb61f379660443790a718562f3818ae,

title = "Using Local Search for guiding enumeration in constraint solving",

abstract = "In Constraint Programming, enumeration strategies (selection of a variable and a value of its domain) are crucial for resolution performances. We propose to use Local Search for guiding enumeration: we extend the common variable selection strategies of constraint programming and we achieve the value selection based on a Local Search. The experimental results are rather promising.",

author = "Eric Monfroy and Carlos Castro and Broderick Crawford",

year = "2006",

doi = "10.1007/11861461_8",

language = "English",

isbn = "3540409300",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "56--65",

booktitle = "Artificial Intelligence",

note = "12th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2006 ; Conference date: 12-09-2006 Through 15-09-2006",

}

Monfroy, E, Castro, C & Crawford, B 2006, Using Local Search for guiding enumeration in constraint solving. in Artificial Intelligence: Methodology, Systems, and Applications - 12th International Conference, AIMSA 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4183 LNCS, Springer Verlag, pp. 56-65, 12th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2006, Varna, Bulgaria, 12/09/06. https://doi.org/10.1007/11861461_8

Using Local Search for guiding enumeration in constraint solving. / Monfroy, Eric; Castro, Carlos; Crawford, Broderick.
Artificial Intelligence: Methodology, Systems, and Applications - 12th International Conference, AIMSA 2006, Proceedings. Springer Verlag, 2006. p. 56-65 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4183 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Using Local Search for guiding enumeration in constraint solving

AU - Monfroy, Eric

AU - Castro, Carlos

AU - Crawford, Broderick

PY - 2006

Y1 - 2006

N2 - In Constraint Programming, enumeration strategies (selection of a variable and a value of its domain) are crucial for resolution performances. We propose to use Local Search for guiding enumeration: we extend the common variable selection strategies of constraint programming and we achieve the value selection based on a Local Search. The experimental results are rather promising.

AB - In Constraint Programming, enumeration strategies (selection of a variable and a value of its domain) are crucial for resolution performances. We propose to use Local Search for guiding enumeration: we extend the common variable selection strategies of constraint programming and we achieve the value selection based on a Local Search. The experimental results are rather promising.

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

U2 - 10.1007/11861461_8

DO - 10.1007/11861461_8

M3 - Conference contribution

AN - SCOPUS:33750232477

SN - 3540409300

SN - 9783540409304

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 56

EP - 65

BT - Artificial Intelligence

PB - Springer Verlag

T2 - 12th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2006

Y2 - 12 September 2006 through 15 September 2006

ER -

Monfroy E, Castro C, Crawford B. Using Local Search for guiding enumeration in constraint solving. In Artificial Intelligence: Methodology, Systems, and Applications - 12th International Conference, AIMSA 2006, Proceedings. Springer Verlag. 2006. p. 56-65. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11861461_8

Using Local Search for guiding enumeration in constraint solving

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this