Adaptive enumeration strategies and metabacktracks for Constraint solving

Eric Monfroy; Carlos Castro; BRODERICK   CRAWFORD LABRIN

Adaptive enumeration strategies and metabacktracks for Constraint solving

Eric Monfroy, Carlos Castro, BRODERICK CRAWFORD LABRIN

SCHOOL OF COMPUTER ENGINEERING

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

19 Scopus citations

Abstract

In Constraint Programming, enumeration strategies are crucial for resolution performances. The effect of strategies is generally unpredictable. In a previous work, we proposed to dynamically change strategies showing bad performances, and to use metabacktrack to restore better states when bad decisions were made. In this paper, we design and evaluate strategies to improve resolution performances of a set of problems. Experimental results show the effectiveness of our approach.

Original language	English
Title of host publication	Advances in Information Systems - 4th International Conference, ADVIS 2006, Proceedings
Publisher	Springer Verlag
Pages	354-363
Number of pages	10
ISBN (Print)	3540462910, 9783540462910
State	Published - 1 Jan 2006
Event	4th International Conference on Advances in Information Systems, ADVIS 2006 - Izmir, Turkey Duration: 18 Oct 2006 → 20 Oct 2006

Publication series

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

Conference

Conference	4th International Conference on Advances in Information Systems, ADVIS 2006
Country	Turkey
City	Izmir
Period	18/10/06 → 20/10/06

Fingerprint Dive into the research topics of 'Adaptive enumeration strategies and metabacktracks for Constraint solving'. Together they form a unique fingerprint.

Cite this

Monfroy, E., Castro, C., & CRAWFORD LABRIN, BRODERICK. (2006). Adaptive enumeration strategies and metabacktracks for Constraint solving. In Advances in Information Systems - 4th International Conference, ADVIS 2006, Proceedings (pp. 354-363). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4243 LNCS). Springer Verlag.

Monfroy, Eric ; Castro, Carlos ; CRAWFORD LABRIN, BRODERICK . / Adaptive enumeration strategies and metabacktracks for Constraint solving. Advances in Information Systems - 4th International Conference, ADVIS 2006, Proceedings. Springer Verlag, 2006. pp. 354-363 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2350b5e8838143edb636cd84c7875016,

title = "Adaptive enumeration strategies and metabacktracks for Constraint solving",

abstract = "In Constraint Programming, enumeration strategies are crucial for resolution performances. The effect of strategies is generally unpredictable. In a previous work, we proposed to dynamically change strategies showing bad performances, and to use metabacktrack to restore better states when bad decisions were made. In this paper, we design and evaluate strategies to improve resolution performances of a set of problems. Experimental results show the effectiveness of our approach.",

author = "Eric Monfroy and Carlos Castro and {CRAWFORD LABRIN}, BRODERICK",

year = "2006",

month = jan,

day = "1",

language = "English",

isbn = "3540462910",

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

publisher = "Springer Verlag",

pages = "354--363",

booktitle = "Advances in Information Systems - 4th International Conference, ADVIS 2006, Proceedings",

note = "null ; Conference date: 18-10-2006 Through 20-10-2006",

}

Monfroy, E, Castro, C & CRAWFORD LABRIN, BRODERICK 2006, Adaptive enumeration strategies and metabacktracks for Constraint solving. in Advances in Information Systems - 4th International Conference, ADVIS 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4243 LNCS, Springer Verlag, pp. 354-363, 4th International Conference on Advances in Information Systems, ADVIS 2006, Izmir, Turkey, 18/10/06.

Adaptive enumeration strategies and metabacktracks for Constraint solving. / Monfroy, Eric; Castro, Carlos; CRAWFORD LABRIN, BRODERICK .

Advances in Information Systems - 4th International Conference, ADVIS 2006, Proceedings. Springer Verlag, 2006. p. 354-363 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4243 LNCS).

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

TY - GEN

T1 - Adaptive enumeration strategies and metabacktracks for Constraint solving

AU - Monfroy, Eric

AU - Castro, Carlos

AU - CRAWFORD LABRIN, BRODERICK

PY - 2006/1/1

Y1 - 2006/1/1

N2 - In Constraint Programming, enumeration strategies are crucial for resolution performances. The effect of strategies is generally unpredictable. In a previous work, we proposed to dynamically change strategies showing bad performances, and to use metabacktrack to restore better states when bad decisions were made. In this paper, we design and evaluate strategies to improve resolution performances of a set of problems. Experimental results show the effectiveness of our approach.

AB - In Constraint Programming, enumeration strategies are crucial for resolution performances. The effect of strategies is generally unpredictable. In a previous work, we proposed to dynamically change strategies showing bad performances, and to use metabacktrack to restore better states when bad decisions were made. In this paper, we design and evaluate strategies to improve resolution performances of a set of problems. Experimental results show the effectiveness of our approach.

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

M3 - Conference contribution

AN - SCOPUS:33751382311

SN - 3540462910

SN - 9783540462910

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

SP - 354

EP - 363

BT - Advances in Information Systems - 4th International Conference, ADVIS 2006, Proceedings

PB - Springer Verlag

Y2 - 18 October 2006 through 20 October 2006

ER -

Monfroy E, Castro C, CRAWFORD LABRIN BRODERICK. Adaptive enumeration strategies and metabacktracks for Constraint solving. In Advances in Information Systems - 4th International Conference, ADVIS 2006, Proceedings. Springer Verlag. 2006. p. 354-363. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Adaptive enumeration strategies and metabacktracks for Constraint solving

Abstract

Publication series

Conference

Other files and links

Cite this