Danny Nguyen

Available identifiers

zbMath Open nguyen.dannyMaRDI QIDQ2227239

List of research outcomes

Publication	Date of Publication	Type
Short Presburger Arithmetic Is Hard	2022-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q5155665	2021-10-08	Paper
On the number of integer points in translated and expanded polyhedra	2021-02-10	Paper
The computational complexity of integer programming with alternations	2020-05-26	Paper
The Computational Complexity of Integer Programming with Alternations	2020-04-30	Paper
VC-dimensions of short Presburger formulas	2019-11-21	Paper
COMPLEXITY OF SHORT GENERATING FUNCTIONS	2019-03-12	Paper
Presburger Arithmetic with algebraic scalar multiplications	2018-05-09	Paper
On the number of integer points in translated and expanded polyhedra	2018-05-09	Paper
Enumerating Projections of Integer Points in Unbounded Polyhedra	2018-05-02	Paper
Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination	2018-02-03	Paper
Tiling the integer lattice with translated sublattices	2017-09-20	Paper
Enumeration of integer points in projections of unbounded polyhedra	2017-08-31	Paper
Short Presburger arithmetic is hard	2017-08-27	Paper
Complexity of short Presburger arithmetic	2017-08-17	Paper
The inverse moment problem for convex polytopes: implementation aspects	2014-09-10	Paper
Solid angles associated to Minkowski reduced bases	2012-06-20	Paper

Research outcomes over time

This page was built for person: Danny Nguyen