{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:21:32Z","timestamp":1725873692366},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319509341"},{"type":"electronic","value":"9783319509358"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-50935-8_15","type":"book-chapter","created":{"date-parts":[[2016,12,9]],"date-time":"2016-12-09T08:50:32Z","timestamp":1481273432000},"page":"156-166","source":"Crossref","is-referenced-by-count":8,"title":["Quantified Integer Programs with Polyhedral Uncertainty Set"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hartisch","sequence":"first","affiliation":[]},{"given":"Thorsten","family":"Ederer","sequence":"additional","affiliation":[]},{"given":"Ulf","family":"Lorenz","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Wolf","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,10]]},"reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-642-31866-5_23","volume-title":"Advances in Computer Games","author":"T Ederer","year":"2012","unstructured":"Ederer, T., Lorenz, U., Opfer, T., Wolf, J.: Modeling games with the help of quantified integer linear programs. In: Herik, H.J., Plaat, A. (eds.) ACG 2011. LNCS, vol. 7168, pp. 270\u2013281. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-31866-5_23"},{"key":"15_CR2","unstructured":"Ederer, T., Lorenz, U., Opfer, T., Wolf, J.: An Algorithmic Framework for $$0\/1$$ -QIP solvers. Technical Report Number 2667, TU Darmstadt (2013)"},{"issue":"3","key":"15_CR3","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/12.372041","volume":"44","author":"R Gerber","year":"1995","unstructured":"Gerber, R., Pugh, W., Saksena, M.: Parametric dispatching of hard real-time tasks. IEEE Trans. Comput. 44(3), 471\u2013479 (1995)","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"15_CR4","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s13675-015-0038-7","volume":"3","author":"U Lorenz","year":"2015","unstructured":"Lorenz, U., Wolf, J.: Solving multistage quantified linear optimization problems with the alpha-beta nested Benders decomposition. EURO J. Comput. Optim. 3(4), 349\u2013370 (2015)","journal-title":"EURO J. Comput. Optim."},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1016\/0022-0000(85)90045-5","volume":"69","author":"CH Papadimitriou","year":"1985","unstructured":"Papadimitriou, C.H.: Games against nature. J. Comp. Sys. Sc. 69, 288\u2013301 (1985)","journal-title":"J. Comp. Sys. Sc."},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-25984-8_26","volume-title":"Automated Reasoning","author":"K Subramani","year":"2004","unstructured":"Subramani, K.: Analyzing selected quantified integer programs. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol. 3097, pp. 342\u2013356. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-25984-8_26"},{"key":"15_CR7","unstructured":"van den Herik, H.J., Donkers, H., Spronck, P.H.M.: Opponent modelling and commercial games. In: Proceedings of IEEE 2005 Symposium on Computational Intelligence and Games CIG 2005, pp. 15\u201325 (2005)"},{"issue":"1","key":"15_CR8","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/0097-3165(76)90055-8","volume":"21","author":"WH Paul","year":"1976","unstructured":"Paul, W.H.: Fourier-Motzkin elimination extension to integer programming problems. J. Comb. Theor. Ser. A 21(1), 118\u2013123 (1976)","journal-title":"J. Comb. Theor. Ser. A"},{"key":"15_CR9","unstructured":"Wolf, J.: Quantified Linear Programming (Forschungsberichte zur Fluidsystemtechnik, vol. 7), Ph.D thesis, Aachen, Shaker Verlag (2015)"}],"container-title":["Lecture Notes in Computer Science","Computers and Games"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50935-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T05:34:59Z","timestamp":1498368899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50935-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319509341","9783319509358"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50935-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}