Yahia Lebbah, Claude Michel, Michel Rueher. Using constraint techniques for a safe and fast implementation of optimality-based reduction. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 326-331, ACM, 2007. [doi]
Abstract is missing.