QOCA
From MaRDI portal
Cited in
(46)- Cider
- Ultraviolet: A constraint satisfaction algorithm for interactive graphics
- A foundation of solution methods for constraint hierarchies
- Removing node overlapping in graph layout using constrained optimization
- Helios
- RealPlan
- Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan
- CPlan
- Constraint-based document layout for the Web
- Juno-2
- Skyblue
- DiaGen
- A refinement of an iterative orthogonal projection method
- Hildreth's algorithm with applications to soft constraints for user interface layout
- linprog
- Drawing interactive Euler diagrams from region connection calculus specifications
- scientific article; zbMATH DE number 1630075 (Why is no real title available?)
- SketchSet
- Euler diagrams
- eulerAPE
- Combining linear programming and satisfiability solving for resource planning
- Newton
- Commons Math
- Solving finite domain constraint hierarchies by local consistency and tree search
- Generalized Conflict Learning for Hybrid Discrete/Linear Optimization
- Zapato
- scientific article; zbMATH DE number 2080309 (Why is no real title available?)
- scientific article; zbMATH DE number 2084468 (Why is no real title available?)
- scientific article; zbMATH DE number 2084717 (Why is no real title available?)
- An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
- ORCSolver
- HiRise
- Amulet
- Cassowary
- Ibuild
- SUPPLE
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
- A relational model of data for large shared data banks
- Tools and Algorithms for the Construction and Analysis of Systems
- Diagrammatic Representation and Inference
- Lemma Learning in SMT on Linear Constraints
- Incremental constraint deletion in systems of linear constraints
- Fourier elimination for compiling constraint hierarchies
- Extending linear relaxation for non-square matrices and soft constraints
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
- Domain specific high-level constraints for user interface layout
This page was built for software: QOCA
