Pages that link to "Item:Q5053064"
From MaRDI portal
The following pages link to Sparsification of SAT and CSP Problems via Tractable Extensions (Q5053064):
Displayed 4 items.
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms (Q2238592) (← links)
- General lower bounds and improved algorithms for infinite-domain CSPs (Q2700386) (← links)
- (Q5863854) (← links)
- The algebraic structure of the densification and the sparsification tasks for CSPs (Q6080503) (← links)