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