Short Presburger arithmetic is hard D Nguyen, I Pak SIAM Journal on Computing, 2019 | 21 | 2019 |
The computational complexity of integer programming with alternations D Nguyen, I Pak Mathematics of Operations Research 45 (1), 191-204, 2020 | 14 | 2020 |
Complexity of short Presburger arithmetic D Nguyen, I Pak Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing …, 2017 | 13 | 2017 |
Presburger Arithmetic with algebraic scalar multiplications P Hieronymi, D Nguyen, I Pak Logical Methods in Computer Science 17, 2021 | 9 | 2021 |
Complexity of short generating functions D Nguyen, I Pak Forum of Mathematics, Sigma 6, e1, 2018 | 6 | 2018 |
The inverse moment problem for convex polytopes: implementation aspects N Gravin, D Nguyen, D Pasechnik, S Robins arXiv preprint arXiv:1409.3130, 2014 | 6 | 2014 |
Parametric Presburger arithmetic: complexity of counting and quantifier elimination T Bogart, J Goodrick, D Nguyen, K Woods Mathematical Logic Quarterly 65 (2), 237-250, 2019 | 5 | 2019 |
Enumeration of integer points in projections of unbounded polyhedra D Nguyen, I Pak International Conference on Integer Programming and Combinatorial …, 2017 | 5 | 2017 |
On the number of integer points in translated and expanded polyhedra D Nguyen, I Pak Discrete & Computational Geometry, 1-20, 2020 | 4 | 2020 |
Enumerating projections of integer points in unbounded polyhedra D Nguyen, I Pak SIAM Journal on Discrete Mathematics 32 (2), 986-1002, 2018 | 4 | 2018 |
Tiling the integer lattice with translated sublattices M Borodzik, D Nguyen, S Robins Moscow Journal of Combinatorial Number Theory 6, 407–430, 2016 | 4 | 2016 |
VC-Dimensions of Short Presburger Formulas D Nguyen, I Pak Combinatorica 39, 923-932, 2019 | 1 | 2019 |
The Computational Complexity of Presburger Arithmetic D Nguyen Luu UCLA, 2018 | 1 | 2018 |
Enumeration of Integer Points in Projections D Nguyen Integer Programming and Combinatorial Optimization: 19th International …, 2017 | | 2017 |
Integrated Beam Angle and Scanning-Spot Optimization in Intensity Modulated Proton Therapy Using Group Sparsity: TH-AB-605-07 W Gu, D O’Connor, V Yu, D Nguyen, D Ruan, K Sheng Medical Physics 44 (6), 3277, 2017 | | 2017 |
Double-Focused Sparse Orthogonal Collimator Design for Small Animal X-Ray Irradiators K Woods, D Nguyen, D Ruan, D O’Connor, K Sheng Medical Physics 44 (6), 3065, 2017 | | 2017 |
Beam Orientation Optimization with Non-Convex Group Sparsity Penalty: WE-RAM3-GePD-T-01 D O’Connor, D Nguyen, D Ruan, V Yu, K Sheng Medical Physics 44 (6), 3225, 2017 | | 2017 |
Fraction-Variant Beam Orientation Optimization for IMRT Based On Group Sparsity: SU-K-FS2-11 D O’Connor, D Nguyen, D Ruan, V Yu, K Sheng Medical Physics 44 (6), 2997, 2017 | | 2017 |
LIPIcs, Volume 79, CCC'17, Complete Volume}} R O'Donnell, A Potechin, D van Melkebeek, G Prakriya, D Nguyen, I Pak, ... 32nd Computational Complexity Conference (CCC 2017) 79, 0, 2017 | | 2017 |
Tunable high-κ ZrₓAl₁₋ ₓOy thin film dielectrics from all-inorganic aqueous precursor solutions KN Woods, EC Waddington, CA Crump, EA Bryan, TS Gleckler, ... | | 2017 |