SALSA: a language for search algorithms. (2002)

by F Laburthe, Y Caseau
Venue:Constraints