Cited in
(20)- A refinement of an iterative orthogonal projection method
- Processes and continuous change in a SAT-based planner
- Extending linear relaxation for non-square matrices and soft constraints
- Domain specific high-level constraints for user interface layout
- QOCA
- Skyblue
- linprog
- SAPA
- Commons Math
- Zapato
- Amulet
- HiRise
- Ibuild
- ORCSolver
- SUPPLE
- Which soft constraints do you prefer?
- Solving linear constraints over real and rational fields
- Combination of convex theories: modularity, deduction completeness, and explanation
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
- Hildreth's algorithm with applications to soft constraints for user interface layout
This page was built for software: Cassowary
