SIMPLY
From MaRDI portal
Software:23745
swMATH11807MaRDI QIDQ23745FDOQ23745
Author name not available (Why is that?)
Cited In (5)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- A System for Solving Constraint Satisfaction Problems with SMT
- Solving constraint satisfaction problems with SAT modulo theories
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
- URSA: A System for Uniform Reduction to SAT
This page was built for software: SIMPLY
