Solving disjunctive constraints for interactive graphical applications

DOI10.1007/3-540-45578-7_25MaRDI QIDQ4475644zbMATH OpenFDO

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

Publication date 9 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

• Constraints for interactive graphical applications
• QOCA: A constraint solving toolkit for interactive graphical applications
• Ultraviolet: A constraint satisfaction algorithm for interactive graphics
• Fourier elimination for compiling constraint hierarchies
• A scalable linear constraint solver for user interface construction

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
• Constraint solving over OCR graphs
• Constraints for interactive graphical applications
• Non-overlapping constraints between convex polytopes
• Foundations of a constraint-based illustrator
• 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: Solving disjunctive constraints for interactive graphical applications

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