swMATH36189MaRDI QIDQ51891FDOQ51891
Author name not available (Why is that?)
Official website: https://dl.acm.org/doi/10.1145/504704.504705
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
- Which soft constraints do you prefer?
- SAPA
- Commons Math
- Zapato
- Solving linear constraints over real and rational fields
- Amulet
- HiRise
- Ibuild
- ORCSolver
- SUPPLE
- 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
