| Pattern name |
ImpliedConstraints. |
| Context | A basic constraint model. |
| Problem |
Search going down obviously futile branches. |
| Forces |
Overhead of introducing additional constraints. Applicability of the new implied constraints. |
| Solution |
Introduce implied constraints that prune such branches. |
| Example |
Golomb ruler problem,
prob006 in
CSPLib. |
| References |
Using Auxiliary Variables and Implied Constraints to Model Non-binary
Problems
(ps,
pdf) Barbara Smith, Kostas Stergiou and Toby Walsh, Proceedings of AAAI-2000, 2000.
|