Constraint Processing door Rina University of California Dechter & Rina Dechter