Pages that link to "Item:Q3133171"
From MaRDI portal
The following pages link to The power of primitive positive definitions with polynomially many variables (Q3133171):
Displaying 9 items.
- Best-case and worst-case sparsifiability of Boolean CSPs (Q786033) (← links)
- Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem (Q2221799) (← links)
- The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems (Q2235760) (← links)
- The number of clones determined by disjunctions of unary relations (Q2322711) (← links)
- (Q5009477) (← links)
- Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds (Q5042452) (← links)
- A Dichotomy Theorem for the Inverse Satisfiability Problem (Q5136331) (← links)
- (Q5863854) (← links)
- (Q6065467) (← links)