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.
|
 |
Salsa: A Language for Search Algorithms
| |
|
Salsa: A Language for Search Algorithms
FranÇois Laburthe6 and Yves Caseau7 
| (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.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|