Pages that link to "Item:Q4930597"
From MaRDI portal
The following pages link to A System for Solving Constraint Satisfaction Problems with SMT (Q4930597):
Displaying 4 items.
- Solving constraint satisfaction problems with SAT modulo theories (Q487632) (← links)
- Auto-tabling for subproblem presolving in MiniZinc (Q1701238) (← links)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- meSAT: multiple encodings of CSP to SAT (Q2342599) (← links)