As we have have learned in section 8, redundant
constraints can both improve the performance of a script and
decrease the size of the search tree.
In this section, you are presented an approach to use the
advantage of combining mutually redundant models.
Subsections
Andreas Rossberg
2006-08-28