Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Salsa: A Language for Search Algorithms

FranÇois LaburtheContact Information and Yves CaseauContact Information

(6)  Thomson-CSF Corporate Research Laboratory, Domaine de Corbeville, 91404 Orsay, France
(7)  Bouygues - D.T.N., 1 av. E. Freyssinet, 78061 St Quentin en Y., France
Abstract
Constraint Programming is a technique of choice for solving hard combinatorial optimization problems. However, it is best used in conjunction with other optimization paradigms such as local search, yielding hybrid algorithms with constraints. Such combinations lack a language supporting an elegant description and retaining the original declarativity of Constraint Logic Programming. We propose a language, SALSA, dedicated to specifying (local, global or hybrid) search algorithms. We illustrate its use on a few examples from combinatorial optimization for which we specify complex optimization procedures with a few simple lines of code of high abstraction level. We report preliminary experiments showing that such a language can be implemented on top of CP systems, yielding a powerful environment for combinatorial optimization.

Contact Information FranÇois Laburthe
Email: laburthe@dmi.ens.fr

Contact Information Yves Caseau
Email: caseau@dmi.ens.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
3 newer articles

  1. Caseau, Yves (2006) Combining constraint Propagation and meta-heuristics for searching a Maximum Weight Hamiltonian Chain. RAIRO - Operations Research 40(2)
    [CrossRef]
  2. Schaerf, Andrea (2000) LOCAL++: A C++ framework for local search algorithms. Software Practice and Experience 30(3)
    [CrossRef]
  3. Di Gaspero, Luca (2003) EASYLOCAL++: an object-oriented framework for the flexible design of local-search algorithms. Software Practice and Experience 33(8)
    [CrossRef]
Remote Address: 38.107.191.106 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)