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 9 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)
- Extending SMT solvers with support for finite domain \texttt{alldifferent} constraint (Q2398511) (← links)
- raSAT: An SMT Solver for Polynomial Constraints (Q2817923) (← links)
- Solving Generalized Optimization Problems Subject to SMT Constraints (Q2897999) (← links)
- Constraint solving for finite model finding in SMT solvers (Q4593094) (← links)
- SMTS: Distributed, Visualized Constraint Solving (Q5222977) (← links)