Pages that link to "Item:Q1768752"
From MaRDI portal
The following pages link to Implementing a test for tractability (Q1768752):
Displayed 4 items.
- Representing and solving finite-domain constraint problems using systems of polynomials (Q360253) (← links)
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- Domain permutation reduction for constraint satisfaction problems (Q2389649) (← links)
- The smallest hard trees (Q6073305) (← links)