swMATH756MaRDI QIDQ13507FDOQ13507
Author name not available (Why is that?)
Official website: http://www.csse.monash.edu.au/projects/qoca/
Cited In (44)
- 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
- Helios
- CPlan
- Juno-2
- Skyblue
- DiaGen
- linprog
- Euler diagrams
- eulerAPE
- SketchSet
- A foundation of solution methods for constraint hierarchies
- Generalized Conflict Learning for Hybrid Discrete/Linear Optimization
- Commons Math
- Newton
- Zapato
- Title not available (Why is that?)
- Amulet
- Cassowary
- HiRise
- Ibuild
- ORCSolver
- SUPPLE
- 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