The following pages link to (Q5028466):
Displaying 4 items.
- Equivariant algorithms for constraint satisfaction problems over coset templates (Q344534) (← links)
- Alloy*: a general-purpose higher-order relational constraint solver (Q2009609) (← links)
- The constraint satisfaction problem and universal algebra (Q2795309) (← links)
- Universal Algebraic Methods for Constraint Satisfaction Problems (Q6279569) (← links)