Fourier Elimination for Compiling Constraint Hierarchies

Warwick Harvey, Peter J. Stuckey, Alan Borning. Fourier Elimination for Compiling Constraint Hierarchies. Constraints, 7(2):199-219, 2002.

Abstract

Abstract is missing.