{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:31:32Z","timestamp":1761895892678,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091648"},{"type":"electronic","value":"9783319091655"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09165-5_10","type":"book-chapter","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T13:56:50Z","timestamp":1405087010000},"page":"110-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Solution Techniques for Quantified Linear Programs and the Links to Gaming"],"prefix":"10.1007","author":[{"given":"Ulf","family":"Lorenz","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Opfer","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Wolf","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,12]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0004-3702(94)90004-3","volume":"66","author":"LV Allis","year":"1994","unstructured":"Allis, L.V., van der Meulen, M., van den Herik, H.J.: Proof-number search. Artif. Intell. 66(1), 91\u2013124 (1994)","journal-title":"Artif. Intell."},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/BF01386316","volume":"4","author":"JF Benders","year":"1962","unstructured":"Benders, J.F.: Partitioning procedures for solving mixed-variables programming problems. Numer. Math. 4(1), 238\u2013252 (1962)","journal-title":"Numer. Math."},{"key":"10_CR3","series-title":"Springer Series in Operations Research and Financial Engineering","volume-title":"Introduction to Stochastic Programming","author":"JR Birge","year":"1997","unstructured":"Birge, J.R., Louveaux, F.: Introduction to Stochastic Programming. Springer Series in Operations Research and Financial Engineering. Springer, New York (1997)"},{"key":"10_CR4","unstructured":"Donninger, C., Lorenz, U.: The hydra project. Xcell J. (53), 94\u201397 (2005)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-23719-5_18","volume-title":"Algorithms \u2013 ESA 2011","author":"T Ederer","year":"2011","unstructured":"Ederer, T., Lorenz, U., Martin, A., Wolf, J.: Quantified linear programs: a computational study. In: Demetrescu, C., Halld\u00f3rsson, M.M. (eds.) ESA 2011. LNCS, vol. 6942, pp. 203\u2013214. Springer, Heidelberg (2011)"},{"key":"10_CR6","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: van den Herik, H.J., Plaat, A. (eds.) ACG 2011. LNCS, vol. 7168, pp. 270\u2013281. Springer, Heidelberg (2012)"},{"issue":"2","key":"10_CR7","first-page":"70","volume":"18","author":"FH Hsu","year":"1999","unstructured":"Hsu, F.H.: Ibm\u2019s deep blue chess grandmaster chips. IEEE Micro 18(2), 70\u201380 (1999)","journal-title":"IEEE Micro"},{"issue":"4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0004-3702(75)90019-3","volume":"6","author":"DE Knuth","year":"1975","unstructured":"Knuth, D.E., Moore, R.W.: An analysis of alpha-beta pruning. Artif. Intell. 6(4), 293\u2013326 (1975)","journal-title":"Artif. Intell."},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/978-3-642-15775-2_44","volume-title":"Algorithms \u2013 ESA 2010","author":"U Lorenz","year":"2010","unstructured":"Lorenz, U., Martin, A., Wolf, J.: Polyhedral and algorithmic properties of quantified linear programs. In: de Berg, M., Meyer, U. (eds.) ESA 2010, Part I. LNCS, vol. 6346, pp. 512\u2013523. Springer, Heidelberg (2010)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1016\/0022-0000(85)90045-5","volume":"31","author":"CH Papadimitriou","year":"1985","unstructured":"Papadimitriou, C.H.: Games against nature. J. Comput. Syst. Sci. 31, 288\u2013301 (1985)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1\u20132","key":"10_CR11","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(00)00082-7","volume":"252","author":"W Pijls","year":"2001","unstructured":"Pijls, W., de Bruin, A.: Game tree algorithms and solution trees. Theor. Comput. Sci. 252(1\u20132), 197\u2013215 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR12","unstructured":"Plaat, A., Schaeffer, J., Pijls, W., De Bruin, A.: Best-first fixed-depth game-tree search in practice. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, San Francisco, CA, USA, vol. 1, pp. 273\u2013279. Morgan Kaufmann Publishers Inc. (1995)"},{"key":"10_CR13","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)"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10472-007-9085-y","volume":"51","author":"K Subramani","year":"2007","unstructured":"Subramani, K.: On a decision procedure for quantified linear programs. Ann. Math. Artif. Intell. 51(1), 55\u201377 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"10_CR15","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/ICG-2005-28201","volume":"28","author":"HJ van den Herik","year":"2005","unstructured":"van den Herik, H.J., Nunn, J., Levy, D.: Adams outclassed by hydra. ICGA J. 28(2), 107\u2013110 (2005)","journal-title":"ICGA J."},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(01)00152-7","volume":"134","author":"HJ van den Herik","year":"2002","unstructured":"van den Herik, H.J., Uiterwijk, J.W.H.M., van Rijswijk, J.: Games solved: now and in the future. Artif. Intell. 134, 277\u2013312 (2002)","journal-title":"Artif. Intell."},{"key":"10_CR17","unstructured":"Vanderbeck, F., Wolsey, L.: Reformulation and decomposition of integer programs. CORE Discussion Papers 2009016, Universit\u00e9 catholique de Louvain, Center for Operations Research and Econometrics (CORE) (2009)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-40031-8_5","volume-title":"Computers and Games","author":"MHM Winands","year":"2003","unstructured":"Winands, M.H.M., Uiterwijk, J.W.H.M., van den Herik, H.J.: PDS-PN: a new proof-number search algorithm. In: Schaeffer, J., M\u00fcller, M., Bj\u00f6rnsson, Y. (eds.) CG 2002. LNCS, vol. 2883, pp. 61\u201374. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Computers and Games"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09165-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T18:59:39Z","timestamp":1676660379000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-09165-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091648","9783319091655"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09165-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"12 July 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}