Constraint Programming and Integer Programming (Dagstuhl Seminar 00031)