Pages that link to "Item:Q2405247"
From MaRDI portal
The following pages link to Relational constraint solving in SMT (Q2405247):
Displaying 7 items.
- Alloy*: a general-purpose higher-order relational constraint solver (Q2009609) (← links)
- Handling transitive relations in first-order automated reasoning (Q2069868) (← links)
- Pardinus: a temporal relational model finder (Q2102939) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- raSAT: An SMT Solver for Polynomial Constraints (Q2817923) (← links)
- Relational Modelling and Solution of Chessboard Problems (Q3007571) (← links)
- Constraint solving for finite model finding in SMT solvers (Q4593094) (← links)