Constraint programming: Basics and trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16-20, 1994 : selected papers