Towards Automatic Generation and Evaluation of Implied Constraints

Brahim Hnich, Julian Richardson, and Pierre Flener

March 2003

Abstract:

Adding appropriate implied constraints can dramatically improve the computational behaviour of a constraint solver on the augmented set of constraints. We briefly document experiments we made with PRESS and clp(q,r) for generating implied constraints.

This report is an excerpt (namely Sections 5.1, 5.2, and 5.3, which are included verbatim apart from minor cosmetic, non-technical corrections) from an unfinished technical report written in August 2000, and thus (finally) provides a citable, published reference to that work.

Available as compressed Postscript (56 kB, no cover) and Postscript (135 kB, no cover)

Download BibTeX entry.