Finding the right hybrid algorithm - A combinatorial meta-problem

Annals of Mathematics and Artificial Intelligence

Volumn 34, Issue 4, 2002, Pages 259-269

  Wallace, Mark ^a   Schimpf, Joachim ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Clp; Combinatorial; Constraints

Indexed keywords

EID: 0141790754     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1014450507312     Document Type: Article

References (15)

1. N. Beldiceanu and E. Contjean, Introducing global constraints in CHIP, Math. Comput. Modelling 12 (1994) 97-123.
2. Y. Caseau, F. Laburthe and G. Silverstein, A Meta-heuristic factory for vehicle routing problems, in: Proc. CP '99, Washington, DC (1999).
3. Y. Caseau and F. Laburthe, SALSA: A Language for Search Algorithms, in: Proc. CP '98, Pisa (1998) pp. 310-324.
4. Chu Min Li and Anbulagan, Look-ahead versus look-back for satisfiability problems, in: Proc. CP '97, Linz (1997).
5. H. El Sakkout and M. Wallace, Probe backtrack search for minimal perturbation in dynamic scheduling, Constraints 5(4) (2000).
6. H. El Sakkout, M. Wallace and E. Richards, An instance of adaptive propagation, in: Proc. CP '96, Boston (1996).
7. L. Michel and P. Van Hentenryck, LOCALIZER: A modelling language for local search, in: Proc. CP '97, Linz (1997).
8. S. Minton, Automatically configuring constraint satisfaction problems: A case study, Constraints 1 (1996) 7-44.
9. S. Minton, M. Johnstone, A. Philips and P. Laird, Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems, Artif. Intell. 58 (1992) 161-206.
10. E.T. Richards and E.B. Richards, Nonsystematic search and learning: An empirical study, in: Proc. CP '98, Pisa (1998).
11. R. Rodosek and M. Wallace, A generic model and hybrid algorithm for hoist scheduling problems, in: Proc. CP '98, Pisa (1998).
12. J. Schimpf, K. Shen and M. Wallace, Tutorial on search in ECLiPSe, Manuals and other documentation (1999), www.icparc.ic.ac.uk/eclipse.
13. B. Selman and H. Kautz, An empirical study of greedy local search for satisfiability testing, in: AAAI-93 (1993) pp. 46-51.
14. A. van Gelder and Y. Tsuji, Instances from circuit fault analysis, www.satlib.org/Benchmarks/SAT/DIMACS/BF/descr.html.
15. P. Van Hentenryck, The OPL Optimization Programming Language (MIT Press, 1999).