scientific article; zbMATH DE number 2084717

MaRDI QIDQ4475644zbMATH OpenFDO

Authors Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2239/22390361.htm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• scientific article; zbMATH DE number 2080294
• QOCA: A constraint solving toolkit for interactive graphical applications
• Ultraviolet: A constraint satisfaction algorithm for interactive graphics
• Fourier elimination for compiling constraint hierarchies
• scientific article; zbMATH DE number 2080309

Cited in

(10)

• Ultraviolet: A constraint satisfaction algorithm for interactive graphics
• QOCA: A constraint solving toolkit for interactive graphical applications
• Drawing interactive Euler diagrams from region connection calculus specifications
• Drawing Euler diagrams from region connection calculus specifications with local search
• scientific article; zbMATH DE number 1964826 (Why is no real title available?)
• scientific article; zbMATH DE number 2080294 (Why is no real title available?)
• scientific article; zbMATH DE number 2084719 (Why is no real title available?)
• scientific article; zbMATH DE number 2086586 (Why is no real title available?)
• An initial study of time complexity in infinite-domain constraint satisfaction
• Fourier elimination for compiling constraint hierarchies

Describes a project that uses

Uses Software

• QOCA

This page was built for publication:

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