Pages that link to "Item:Q4978025"
From MaRDI portal
The following pages link to Complexity of short Presburger arithmetic (Q4978025):
Displaying 9 items.
- Generic complexity of Presburger arithmetic (Q848747) (← links)
- Sparse representation of vectors in lattices and semigroups (Q2118144) (← links)
- Parameterized resiliency problems (Q2330129) (← links)
- VC-dimensions of short Presburger formulas (Q2338619) (← links)
- COMPLEXITY OF SHORT GENERATING FUNCTIONS (Q3119462) (← links)
- (Q4226937) (← links)
- Enumerating Projections of Integer Points in Unbounded Polyhedra (Q4638995) (← links)
- Short Presburger Arithmetic Is Hard (Q5073520) (← links)
- The Computational Complexity of Integer Programming with Alternations (Q5108263) (← links)