Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti'cial intelligence. The tools and programming... This description may be from another edition of this product.