Cassowary
From MaRDI portal
Software:51891
swMATH36189MaRDI QIDQ51891FDOQ51891
Author name not available (Why is that?)
Cited In (9)
- A refinement of an iterative orthogonal projection method
- Which Soft Constraints do you Prefer?
- 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
- 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
