{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T21:13:41Z","timestamp":1768770821958,"version":"3.49.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319663197","type":"print"},{"value":"9783319663203","type":"electronic"}],"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-66320-3_18","type":"book-chapter","created":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T07:34:27Z","timestamp":1503992067000},"page":"242-256","source":"Crossref","is-referenced-by-count":3,"title":["Computing the Integer Points of a Polyhedron, II: Complexity Estimates"],"prefix":"10.1007","author":[{"given":"Rui-Juan","family":"Jing","sequence":"first","affiliation":[]},{"given":"Marc","family":"Moreno\u00a0Maza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,30]]},"reference":[{"key":"18_CR1","unstructured":"4ti2 team. 4ti2\u2013a software package for algebraic, geometric and combinatorial problems on linear spaces. \nwww.4ti2.de"},{"key":"18_CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P Aubry","year":"1999","unstructured":"Aubry, P., Lazard, D., Moreno Maza, M.: On the theories of triangular sets. J. Symb. Comput. 28, 105\u2013124 (1999)","journal-title":"J. Symb. Comput."},{"key":"18_CR3","unstructured":"Bruns, W., Ichim, B., R\u00f6mer, T., Sieg, R., S\u00f6ger, C.: Normaliz. Algorithms for rational cones and affine monoids. \nhttps:\/\/www.normaliz.uni-osnabrueck.de"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jsc.2011.12.014","volume":"49","author":"C Chen","year":"2013","unstructured":"Chen, C., Davenport, J.H., May, J.P., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49, 3\u201326 (2013)","journal-title":"J. Symb. Comput."},{"key":"18_CR5","unstructured":"Imbert, J.-L.: Fourier\u2019s elimination: which to choose? pp. 117\u2013129 (1993)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Karmarkar, N.: A new polynomial-time algorithm for linear programming. In: Proceedings of the Sixteenth Annual ACM Aymposium on Theory of Computing. STOC 1984, pp. 302\u2013311. ACM, New York, NY, USA (1984)","DOI":"10.1145\/800057.808695"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"1074","DOI":"10.1007\/978-0-387-74759-0_187","volume-title":"Encyclopedia of Optimization","author":"L Khachiyan","year":"2009","unstructured":"Khachiyan, L.: Fourier-motzkin elimination method. In: Floudas, C.A., Pardalos, P.M. (eds.) Encyclopedia of Optimization, pp. 1074\u20131077. Springer, Heidelberg (2009). doi:\n10.1007\/978-0-387-74759-0_187"},{"key":"18_CR8","volume-title":"Beitr\u00e4ge zur Theorie der linearen Ungleichungen","author":"TS Motzkin","year":"1936","unstructured":"Motzkin, T.S.: Beitr\u00e4ge zur Theorie der linearen Ungleichungen. Azriel Press, Jerusalem (1936)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Pugh, W.: The omega test: a fast and practical integer programming algorithm for dependence analysis. In: Martin, J.L. (ed.), Proceedings Supercomputing 1991, Albuquerque, NM, USA, 18\u201322 November 1991, pp. 4\u201313. ACM (1991)","DOI":"10.1145\/125826.125848"},{"key":"18_CR10","volume-title":"Theory of Linear and Integer Programming","author":"A Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. Wiley, New York (1986)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66320-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T03:27:54Z","timestamp":1504063674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66320-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663197","9783319663203"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66320-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}