{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:43Z","timestamp":1750308643354,"version":"3.41.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319592497"},{"type":"electronic","value":"9783319592503"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59250-3_34","type":"book-chapter","created":{"date-parts":[[2017,5,23]],"date-time":"2017-05-23T13:04:39Z","timestamp":1495544679000},"page":"417-429","source":"Crossref","is-referenced-by-count":0,"title":["Enumeration of Integer Points in Projections of\u00a0Unbounded Polyhedra"],"prefix":"10.1007","author":[{"given":"Danny","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"Igor","family":"Pak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,24]]},"reference":[{"key":"34_CR1","volume-title":"Recent Trends in Combinatorics","author":"I Aliev","year":"2016","unstructured":"Aliev, I., De Loera, J.A., Louveaux, Q.: Parametric polyhedra with at least $$k$$ lattice points: their semigroup structure and the $$k$$ -Frobenius problem. In: Beveridge, A., Griggs, J.R., Hogben, L., Musiker, G., Tetali, P. (eds.) Recent Trends in Combinatorics. Springer, Switzerland (2016)"},{"key":"34_CR2","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s10208-011-9106-4","volume":"12","author":"V Baldoni","year":"2012","unstructured":"Baldoni, V., Berline, N., De Loera, J.A., K\u00f6ppe, M., Vergne, M.: Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra. Found. Comput. Math. 12, 435\u2013469 (2012)","journal-title":"Found. Comput. Math."},{"doi-asserted-by":"crossref","unstructured":"Barvinok, A.: A polynomial time algorithm for counting integral points in polyhedra when the fimension is fixed. In: Proceedings of the 34th FOCS, IEEE, Los Alamitos, CA, pp. 566\u2013572 (1993)","key":"34_CR3","DOI":"10.1109\/SFCS.1993.366830"},{"key":"34_CR4","doi-asserted-by":"crossref","DOI":"10.4171\/052","volume-title":"Integer Points in Polyhedra","author":"A Barvinok","year":"2008","unstructured":"Barvinok, A.: Integer Points in Polyhedra. EMS, Z\u00fcrich (2008)"},{"unstructured":"Barvinok, A., Pommersheim, J.E.: An algorithmic theory of lattice points in polyhedra. In: New Perspectives in Algebraic Combinatorics, pp. 91\u2013147. Cambridge University Press, Cambridge (1999)","key":"34_CR5"},{"key":"34_CR6","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1090\/S0894-0347-03-00428-4","volume":"16","author":"A Barvinok","year":"2003","unstructured":"Barvinok, A., Woods, K.: Short rational generating functions for lattice point problems. J. Amer. Math. Soc. 16, 957\u2013979 (2003)","journal-title":"J. Amer. Math. Soc."},{"key":"34_CR7","doi-asserted-by":"crossref","first-page":"355","DOI":"10.17323\/1609-4514-2007-7-3-355-386","volume":"7","author":"N Berline","year":"2007","unstructured":"Berline, N., Vergne, M.: Local Euler-Maclaurin formula for polytopes. Mosc. Math. J. 7, 355\u2013386 (2007)","journal-title":"Mosc. Math. J."},{"unstructured":"Chistikov, D., Haase, C.: The taming of semi-linear set. In: Proceedings of the ICALP 2016, pp. 127:1\u2013127:13 (2016)","key":"34_CR8"},{"key":"34_CR9","doi-asserted-by":"crossref","first-page":"959","DOI":"10.1016\/j.jsc.2004.02.001","volume":"38","author":"JA Loera De","year":"2004","unstructured":"De Loera, J.A., Haws, D., Hemmecke, R., Huggins, P., Sturmfels, B., Yoshida, R.: Short rational functions for toric algebra and applications. J. Symbolic Comput. 38, 959\u2013973 (2004)","journal-title":"J. Symbolic Comput."},{"key":"34_CR10","doi-asserted-by":"crossref","first-page":"1273","DOI":"10.1016\/j.jsc.2003.04.003","volume":"38","author":"JA Loera De","year":"2004","unstructured":"De Loera, J.A., Hemmecke, R., Tauzer, J., Yoshida, R.: Effective lattice point counting in rational convex polytopes. J. Symbolic Comput. 38, 1273\u20131302 (2004)","journal-title":"J. Symbolic Comput."},{"key":"34_CR11","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1287\/moor.22.3.545","volume":"22","author":"M Dyer","year":"1997","unstructured":"Dyer, M., Kannan, R.: On Barvinok\u2019s algorithm for counting lattice points in fixed dimension. Math. Oper. Res. 22, 545\u2013549 (1997)","journal-title":"Math. Oper. Res."},{"key":"34_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-540-39658-1_20","volume-title":"Algorithms - ESA 2003","author":"F Eisenbrand","year":"2003","unstructured":"Eisenbrand, F.: Fast integer programming in fixed dimension. In: Battista, G., Zwick, U. (eds.) ESA 2003. LNCS, vol. 2832, pp. 196\u2013207. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-39658-1_20"},{"key":"34_CR13","doi-asserted-by":"crossref","first-page":"839","DOI":"10.1287\/moor.1080.0320","volume":"33","author":"F Eisenbrand","year":"2008","unstructured":"Eisenbrand, F., Shmonin, G.: Parametric integer programming in fixed dimension. Math. Oper. Res. 33, 839\u2013850 (2008)","journal-title":"Math. Oper. Res."},{"key":"34_CR14","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02579200","volume":"7","author":"A Frank","year":"1987","unstructured":"Frank, A., Tardos, \u00c9.: An application of simultaneous Diophantine approximation in combinatorial optimization. Combinatorica 7, 49\u201365 (1987)","journal-title":"Combinatorica"},{"key":"34_CR15","volume-title":"The Mathematical Theory of Context Free Languages","author":"S Ginsburg","year":"1966","unstructured":"Ginsburg, S.: The Mathematical Theory of Context Free Languages. McGraw-Hill, New York (1966)"},{"key":"34_CR16","first-page":"333","volume":"113","author":"S Ginsburg","year":"1964","unstructured":"Ginsburg, S., Spanier, E.: Bounded ALGOL-like languages. Trans. Amer. Math. Soc. 113, 333\u2013368 (1964)","journal-title":"Trans. Amer. Math. Soc."},{"unstructured":"Kannan, R.: Test sets for integer programs, $$\\forall \\exists $$ sentences. In: Polyhedral Combinatorics, pp. 39\u201347. AMS, Providence (1990)","key":"34_CR17"},{"key":"34_CR18","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1137\/060664768","volume":"21","author":"M K\u00f6ppe","year":"2007","unstructured":"K\u00f6ppe, M.: A primal Barvinok algorithm based on irrational decompositions. SIAM J. Discrete Math. 21, 220\u2013236 (2007)","journal-title":"SIAM J. Discrete Math."},{"doi-asserted-by":"crossref","unstructured":"K\u00f6ppe, M., Verdoolaege, S.: Computing parametric rational generating functions with a primal Barvinok algorithm. Electron. J. Combin. 15(1), 19 (2008). RP 16","key":"34_CR19","DOI":"10.37236\/740"},{"key":"34_CR20","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1287\/moor.8.4.538","volume":"8","author":"H Lenstra","year":"1983","unstructured":"Lenstra, H.: Integer programming with a fixed number of variables. Math. Oper. Res. 8, 538\u2013548 (1983)","journal-title":"Math. Oper. Res."},{"doi-asserted-by":"crossref","unstructured":"Leroux, J.: A polynomial time presburger criterion and synthesis for number decision diagrams. In: Proceedings of the 20th LICS, IEEE, Chicago, IL, pp. 147\u2013156 (2005)","key":"34_CR21","DOI":"10.1109\/LICS.2005.2"},{"key":"34_CR22","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1006\/inco.1993.1057","volume":"106","author":"S Meiser","year":"1993","unstructured":"Meiser, S.: Point location in arrangement of hyperplanes. Inform. Comput. 106, 286\u2013303 (1993)","journal-title":"Inform. Comput."},{"key":"34_CR23","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1145\/321356.321364","volume":"13","author":"R Parikh","year":"1966","unstructured":"Parikh, R.: On context-free languages. J. Assoc. Comput. Mach. 13, 570\u2013581 (1966)","journal-title":"J. Assoc. Comput. Mach."},{"key":"34_CR24","volume-title":"Theory of Linear and Integer Programming","author":"A Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. Wiley, Chichester (1986)"},{"key":"34_CR25","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/s00453-006-1231-0","volume":"48","author":"S Verdoolaege","year":"2007","unstructured":"Verdoolaege, S., Seghir, R., Beyls, K., Loechner, V., Bruynooghe, M.: Counting integer points in parametric polytopes using Barvinok\u2019s rational functions. Algorithmica 48, 37\u201366 (2007)","journal-title":"Algorithmica"},{"unstructured":"Woods, K.: Rational Generating Functions and Lattice Point Sets, Ph.D. thesis, University of Michigan, 112 p. (2004)","key":"34_CR26"},{"key":"34_CR27","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/jsl.2015.4","volume":"80","author":"K Woods","year":"2015","unstructured":"Woods, K.: Presburger arithmetic, rational generating functions, and quasi-polynomials. J. Symb. Log. 80, 433\u2013449 (2015)","journal-title":"J. Symb. Log."}],"container-title":["Lecture Notes in Computer Science","Integer Programming and Combinatorial Optimization"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59250-3_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:21:42Z","timestamp":1750274502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59250-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319592497","9783319592503"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59250-3_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}