Using constraint techniques for a safe and fast implementation of optimality-based reduction.

Yahia Lebbah, Claude Michel, Michel Rueher

Browse the full SAC paper archive.