Pages that link to "Item:Q2893326"
From MaRDI portal
The following pages link to Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction (Q2893326):
Displaying 5 items.
- Constraint satisfaction and semilinear expansions of addition over the rationals and the reals (Q269512) (← links)
- Tractability conditions for numeric CSPs (Q683751) (← links)
- Minimal functions on the random graph (Q2017162) (← links)
- Schaefer's Theorem for Graphs (Q2796406) (← links)
- (Q5005133) (← links)