Adaptive enumeration strategies and metabacktracks for Constraint solving

Eric Monfroy; Carlos Castro; Broderick Crawford

doi:10.1007/11890393_37

Adaptive enumeration strategies and metabacktracks for Constraint solving

Eric Monfroy, Carlos Castro, Broderick Crawford

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

20 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
DOIs	https://doi.org/10.1007/11890393_37
State	Published - 2006
Externally published	Yes
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/Territory	Turkey
City	Izmir
Period	18/10/06 → 20/10/06

Access to Document

10.1007/11890393_37

Cite this

Monfroy, E., Castro, C., & Crawford, B. (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. https://doi.org/10.1007/11890393_37

Monfroy, Eric ; Castro, Carlos ; Crawford, 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 Broderick Crawford",

year = "2006",

doi = "10.1007/11890393_37",

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, B 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. https://doi.org/10.1007/11890393_37

Adaptive enumeration strategies and metabacktracks for Constraint solving. / Monfroy, Eric; Castro, Carlos; Crawford, 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, Broderick

PY - 2006

Y1 - 2006

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

U2 - 10.1007/11890393_37

DO - 10.1007/11890393_37

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 B. 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)). doi: 10.1007/11890393_37

Adaptive enumeration strategies and metabacktracks for Constraint solving

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this