LNCS 910: Constraint Programming

maintained by Schloss Dagstuhl LZI at University of Trier