Fourier elimination for compiling constraint hierarchies

DOI10.1023/A:1015161716072MaRDI QIDQ698090zbMATHOpenAlexFDO

Authors Warwick Harvey, Peter J. Stuckey, Alan Borning

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)

Recommendations

• scientific article; zbMATH DE number 2080309
• Ultraviolet: A constraint satisfaction algorithm for interactive graphics
• scientific article; zbMATH DE number 2080294
• Variable Elimination in Linear Constraints
• scientific article; zbMATH DE number 2084717

Cited in

(3)

• Which soft constraints do you prefer?
• scientific article; zbMATH DE number 2084717 (Why is no real title available?)
• scientific article; zbMATH DE number 2080309 (Why is no real title available?)

Describes a project that uses

Uses Software

• QOCA

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q698090)