{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T05:05:18Z","timestamp":1739423118786,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042430"},{"type":"electronic","value":"9783642042447"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04244-7_60","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T18:17:24Z","timestamp":1252952244000},"page":"771-786","source":"Crossref","is-referenced-by-count":4,"title":["Realtime Online Solving of Quantified CSPs"],"prefix":"10.1007","author":[{"given":"David","family":"Stynes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenneth N.","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Bordeaux, L., Cadoli, M., Mancini, T.: CSP Properties for Quantified Constraints: Definitions and Complexity. In: Proceedings of AAAI, pp. 360\u2013365 (2005)","key":"60_CR1"},{"key":"60_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-45220-1_6","volume-title":"Computer Science Logic","author":"F. B\u00f6rner","year":"2003","unstructured":"B\u00f6rner, F., Bulatov, A., Jeavons, P., Krokhin, A.: Quantified constraints: Algorithms and complexity. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 58\u201370. Springer, Heidelberg (2003)"},{"unstructured":"Gent, I.P., Nightingale, P., Stergiou, K.: QCSP-Solve: A solver for quantified constraint satisfaction problems. In: Proceedings of IJCAI, pp. 138\u2013143 (2005)","key":"60_CR3"},{"unstructured":"Nightingale, P.: Consistency and the Quantified Constraint Satisfaction Problem. PhD thesis, University of St Andrews (2007)","key":"60_CR4"},{"key":"60_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-46135-3_25","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"L. Bordeaux","year":"2002","unstructured":"Bordeaux, L., Monfroy, E.: Beyond NP: Arc-consistency for quantified constraints. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 371\u2013386. Springer, Heidelberg (2002)"},{"unstructured":"Stynes, D., Brown, K.N.: Value Ordering for Quantified CSPs. In: Proceedings of CP2007 Doctoral Programme, pp. 157\u2013162 (2007)","key":"60_CR6"},{"issue":"1","key":"60_CR7","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/s10601-008-9052-1","volume":"14","author":"D. Stynes","year":"2009","unstructured":"Stynes, D., Brown, K.N.: Value Ordering for Quantified CSPs. Constraints\u00a014(1), 16\u201337 (2009)","journal-title":"Constraints"},{"unstructured":"Bessiere, C., Verger, G.: Strategic constraint satisfaction problems. In: Proceedings of CP Workshop on Modelling and Reformulation, pp. 17\u201329 (2006)","key":"60_CR8"},{"unstructured":"Benedetti, M., Lallouet, A., Vautard, J.: QCSP made Practical by Virtue of Restricted Quantification. In: Proceedings of IJCAI, pp. 38\u201343 (2007)","key":"60_CR9"},{"key":"60_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-85958-1_12","volume-title":"Principles and Practice of Constraint Programming","author":"G. Verger","year":"2008","unstructured":"Verger, G., Bessiere, C.: Guiding Search in QCSP $^{\\mbox{+}}$ with Back-Propagation. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 175\u2013189. Springer, Heidelberg (2008)"},{"unstructured":"Dechter, R., Dechter, A.: Belief maintenance in dynamic constraint networks. In: Proceedings of AAAI, pp. 37\u201342 (1988)","key":"60_CR11"},{"doi-asserted-by":"crossref","unstructured":"Brown, K.N., Miguel, I.: Uncertainty and Change. In: Handbook of Constraint Programming, ch.\u00a021, pp. 731\u2013760 (2006)","key":"60_CR12","DOI":"10.1016\/S1574-6526(06)80025-8"},{"unstructured":"Fargier, H., Lang, J., Schiex, T.: Mixed constraint satisfaction: a frameworkfor decision problems under incomplete knowledge. In: Proceedings of AAAI, pp. 175\u2013180 (1996)","key":"60_CR13"},{"unstructured":"Walsh, T.: Stochastic constraint programming. In: Proceedings of ECAI, pp. 111\u2013115 (2002)","key":"60_CR14"},{"unstructured":"Bent, R., van Hentenryck, P.: Regrets only! online stochastic optimization undertime constraints. In: Proceedings of AAAI, pp. 501\u2013506 (2004)","key":"60_CR15"},{"key":"60_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5140.001.0001","volume-title":"Online Stochastic Combinatorial Optimization","author":"P.V. Hentenryck","year":"2006","unstructured":"Hentenryck, P.V., Bent, R.: Online Stochastic Combinatorial Optimization. The MIT Press, Cambridge (2006)"},{"doi-asserted-by":"crossref","unstructured":"Gr\u00f6tschel, M., Krumke, S.O., Rambau, J., Winter, T., Zimmermann, U.T.: Combinatorial Online Optimization in Real Time. Online Optimization of Large Scale Systems, 679\u2013704 (2001)","key":"60_CR17","DOI":"10.1007\/978-3-662-04331-8_33"},{"doi-asserted-by":"crossref","unstructured":"Shannon, C.E.: Programming a computer for playing chess. Philosophical Magazine (Series 7), 256\u2013275 (1950)","key":"60_CR18","DOI":"10.1080\/14786445008521796"},{"issue":"4","key":"60_CR19","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0004-3702(75)90019-3","volume":"6","author":"D.E. Knuth","year":"1975","unstructured":"Knuth, D.E., Moore, R.W.: An Analysis of Alpha-Beta Pruning. Artificial Intelligence\u00a06(4), 293\u2013326 (1975)","journal-title":"Artificial Intelligence"},{"unstructured":"Brown, K.N., Little, J., Creed, P.J., Freuder, E.C.: Adversarial constraint satisfaction by game-tree search. In: Proceedings of ECAI, pp. 151\u2013155 (2004)","key":"60_CR20"},{"issue":"3","key":"60_CR21","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/S0022-0000(74)80026-7","volume":"8","author":"D.S. Johnson","year":"1974","unstructured":"Johnson, D.S.: Fast Algorithms for Bin Packing. Journal of Computing and System Sciences\u00a08(3), 272\u2013314 (1974)","journal-title":"Journal of Computing and System Sciences"},{"doi-asserted-by":"crossref","unstructured":"Version, P., Kenyon, C., Rabani, Y., Sinclair, A.: Biased Random Walks, Lyapunov Functions, and Stochastic Analysis of Best Fit Bin Packing. J. Algorithms, 351\u2013358 (1998)","key":"60_CR22","DOI":"10.1006\/jagm.1997.0919"},{"key":"60_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/978-3-540-48085-3_7","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"C. Bessi\u00e8re","year":"1999","unstructured":"Bessi\u00e8re, C., Meseguer, P., Freuder, E.C., Larrosa, J.: On forward checking for non-binary constraint satisfaction. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 88\u2013102. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04244-7_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T04:16:11Z","timestamp":1739333771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04244-7_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042430","9783642042447"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04244-7_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}