QOCA

swMATH756MaRDI QIDQ13507FDOQ13507

Author name not available (Why is that?)

Described by source

• QOCA: A constraint solving toolkit for interactive graphical applications

Cited In (26)

• Tools and Algorithms for the Construction and Analysis of Systems
• Ultraviolet: A constraint satisfaction algorithm for interactive graphics
• Constraint-based document layout for the Web
• Fourier elimination for compiling constraint hierarchies
• A refinement of an iterative orthogonal projection method
• A relational model of data for large shared data banks
• Diagrammatic Representation and Inference
• Drawing interactive Euler diagrams from region connection calculus specifications
• Incremental constraint deletion in systems of linear constraints
• Title not available (Why is that?)
• Extending linear relaxation for non-square matrices and soft constraints
• An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Domain specific high-level constraints for user interface layout
• Title not available (Why is that?)
• Lemma Learning in SMT on Linear Constraints
• Removing node overlapping in graph layout using constrained optimization
• A foundation of solution methods for constraint hierarchies
• Generalized Conflict Learning for Hybrid Discrete/Linear Optimization
• Title not available (Why is that?)
• Combining linear programming and satisfiability solving for resource planning
• M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
• Solving finite domain constraint hierarchies by local consistency and tree search
• Hildreth's algorithm with applications to soft constraints for user interface layout
• Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan
• Title not available (Why is that?)

This page was built for software: QOCA