Automatic Generation of Propagation Rules for Finite Domains

plexity Theorems: Talk Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 David McAllester Regular Papers Automatic Generation of Propagation Rules for Finite Domains . . . . . . . . . . . .18 Slim Abdennadher and Christophe Rigotti Extending Forward Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 Fahiem Bacchus Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .52 Nicolas Beldiceanu Universally Quantified Interval Constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 Fr´ed´eric Benhamou and Fr´ed´eric Goualard Constraint Propagation for Soft Constraints: Generalization and Termination Conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 S. Bistarelli, R. Gennari and F. Rossi Constraints, Inference Channels...

• Type: Conference
• Year: 2000
• Where: CP
• Authors: Slim Abdennadher, Christophe Rigotti
• Keywords: Artificial Intelligence, Bacchus Global Constraints, CP 2000, Elementary Constraints, Interval Constraints