Fourier elimination for compiling constraint hierarchies

DOI10.1023/A:1015161716072zbMATH Open1018.68020OpenAlexW1560028592MaRDI QIDQ698090FDOQ698090

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

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

zbMATH Keywords

user interfaceslinear arithmetic constraintsconstraint compilationFourier elimination algorithmhierarchical constraints

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (3)

• Which soft constraints do you prefer?
• Title not available (Why is that?)
• Title not available (Why is that?)

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)