The following pages link to Decomposable theories (Q5309080):
Displayed 4 items.
- A full first-order constraint solver for decomposable theories (Q1044229) (← links)
- From decomposable to residual theories (Q1045812) (← links)
- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints (Q5191405) (← links)
- A Full First-Order Constraint Solver for Decomposable Theories (Q5505492) (← links)