Next: The HullConsistency, Simp2B and
Up: Simplification procedures
Previous: Introduction
Contents
Filtering simplification procedures
An important point: some of these procedures have as argument a list
of variable names and this list must be the same than the one that is
used for the solving procedure.
Subsections
Jean-Pierre Merlet
2012-12-20