Fourier elimination for compiling constraint hierarchies

DOI10.1023/A:1015161716072zbMath1018.68020OpenAlexW1560028592MaRDI QIDQ698090

Peter J. Stuckey, Alan Borning, Warwick Harvey

Publication date: 18 September 2002

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015161716072

zbMATH Keywords

user interfaceslinear arithmetic constraintsconstraint compilationFourier elimination algorithmhierarchical constraints

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (1)

Which Soft Constraints do you Prefer?

Uses Software

• QOCA

This page was built for publication: Fourier elimination for compiling constraint hierarchies