{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T14:47:26Z","timestamp":1649083646548},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,9,28]],"date-time":"2014-09-28T00:00:00Z","timestamp":1411862400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10601-014-9174-6","type":"journal-article","created":{"date-parts":[[2014,9,27]],"date-time":"2014-09-27T08:05:11Z","timestamp":1411805111000},"page":"109-154","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction"],"prefix":"10.1007","volume":"20","author":[{"given":"Arnaud","family":"Lallouet","sequence":"first","affiliation":[]},{"given":"Jimmy H. M.","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Terrence W. K.","family":"Mak","sequence":"additional","affiliation":[]},{"given":"Justin","family":"Yip","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,28]]},"reference":[{"key":"9174_CR1","unstructured":"Allis, L.V. (1994). Searching for solutions in games and artificial intelligence. Ph.D. thesis, University of Limburg."},{"key":"9174_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K. (2003). Principles of constraint programming. New York: Cambridge University Press.","DOI":"10.1017\/CBO9780511615320"},{"key":"9174_CR3","unstructured":"Arora, S., & Barak, B. (2009). Computational complexity: a modern approach, 1st edn. Cambridge University Press."},{"key":"9174_CR4","doi-asserted-by":"crossref","unstructured":"Benedetti, M., Lallouet, A., Vautard, J. (2008). Quantified constraint optimization. In CP\u201908 (pp. 463\u2013477).","DOI":"10.1007\/978-3-540-85958-1_31"},{"key":"9174_CR5","unstructured":"Bordeaux, L., Cadoli, M., Mancini, T. (2005). CSP properties for quantified constraints: definitions and complexity. In AAAI\u201905 (pp. 360\u2013365)."},{"key":"9174_CR6","doi-asserted-by":"crossref","unstructured":"Bordeaux, L., & Monfroy, E. (2002). Beyond NP: arc-consistency for quantified constraints. In CP\u201902 (pp. 371\u2013386).","DOI":"10.1007\/3-540-46135-3_25"},{"key":"9174_CR7","unstructured":"Brown, K.N., Little, J., Creed, P.J., Freuder, E.C. (2004). Adversarial constraint satisfaction by game-tree search. In ECAI\u201904 (pp. 151\u2013155)."},{"key":"9174_CR8","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1023\/A:1009812409930","volume":"4","author":"B Cabon","year":"1999","unstructured":"Cabon, B, de Givry, S., Lobjois, L., Schiex, T., Warners, J. (1999). Radio link frequency assignment. CONSTRAINTS, 4, 79\u201389.","journal-title":"CONSTRAINTS"},{"issue":"7\u20138","key":"9174_CR9","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1016\/j.artint.2010.02.001","volume":"174","author":"M Cooper","year":"2010","unstructured":"Cooper, M, de Givry, S., Sanchez, M., Schiex, T., Zytnicki, M., Werner, T. (2010). Soft arc consistency revisited. Artificial Intelligence, 174 (7\u20138), 449\u2013478.","journal-title":"Artificial Intelligence"},{"key":"9174_CR10","unstructured":"Cooper, M.C., De Givry, S., Schiex, T. (2007). Optimal soft arc consistency. In IJCAI\u201907 (pp. 68\u201373)."},{"key":"9174_CR11","doi-asserted-by":"crossref","unstructured":"Debruyne, R., & Bessiere, C. (1997). From restricted path consistency to max-restricted path consistency. In CP\u201997 (pp. 312\u2013326).","DOI":"10.1007\/BFb0017448"},{"key":"9174_CR12","unstructured":"Dempe, S. (2002). Foundations of bilevel programming. Kluwer Academic Publishers."},{"key":"9174_CR13","unstructured":"Gent, I.P., Nightingale, P., Stergiou, K. (2005). QCSP-Solve: a solver for quantified constraint satisfaction problems. In IJCAI\u201905 (pp. 138\u2013143)."},{"issue":"1-2","key":"9174_CR14","doi-asserted-by":"crossref","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 Rijswijck, J. (2002). Games solved: now and in the future. Artificial Intelligence, 134 (1-2), 277\u2013311.","journal-title":"Artificial Intelligence"},{"key":"9174_CR15","doi-asserted-by":"crossref","unstructured":"Lallouet, A., Lee, J.H.M., Mak, T.W.K. (2012). Consistencies for ultra-weak solutions in minimax weighted csps using the duality principle. In CP\u201912 (pp. 373\u2013389).","DOI":"10.1007\/978-3-642-33558-7_29"},{"key":"9174_CR16","unstructured":"Larrosa, J., & Schiex, T. (2003). In the quest of the best form of local consistency for weighted CSP. In IJCAI\u201903 (pp. 239\u2013244)."},{"issue":"1-2","key":"9174_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2004.05.004","volume":"159","author":"J Larrosa","year":"2004","unstructured":"Larrosa, J., & Schiex, T. (2004). Solving weighted CSP by maintaining arc consistency. Artificial Intelligence, 159 (1-2), 1\u201326.","journal-title":"Artificial Intelligence"},{"key":"9174_CR18","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1613\/jair.3476","volume":"43","author":"JHM Lee","year":"2012","unstructured":"Lee, J.H.M., & Leung, K.L. (2012). Consistency techniques for flow-based projection-safe global cost functions in weighted constraint satisfaction. JAIR, 43, 257\u2013292.","journal-title":"JAIR"},{"key":"9174_CR19","unstructured":"Lee, J.H.M., Leung, K.L., Wu, Y. (2012). Polynomially decomposable global cost functions in weighted constraint satisfaction. In AAAI\u201912 (pp. 507\u2013513)."},{"key":"9174_CR20","doi-asserted-by":"crossref","unstructured":"Lee, J.H.M., & Mak, T.W.K. (2012). A value ordering heuristic for solving ultra-weak solutions in minimax weighted csps. In ICTAI\u201912 (pp. 17\u201324).","DOI":"10.1109\/ICTAI.2012.12"},{"key":"9174_CR21","doi-asserted-by":"crossref","unstructured":"Lee, J.H.M., Mak, T.W.K., Yip, J. (2011). Weighted constraint satisfaction problems with min-max quantifiers. In ICTAI \u201911 (pp. 769\u2013776).","DOI":"10.1109\/ICTAI.2011.121"},{"key":"9174_CR22","doi-asserted-by":"crossref","unstructured":"Lee, J.H.M., & Shum, Y.W. (2011). Modeling soft global constraints as linear programs in weighted constraint satisfaction. In ICTAI \u201911 (pp. 305\u2013312).","DOI":"10.1109\/ICTAI.2011.53"},{"key":"9174_CR23","doi-asserted-by":"crossref","unstructured":"Mamoulis, N., & Stergiou, K. (2004). Algorithms for quantified constraint satisfaction problems. In CP\u201904 (pp. 752\u2013756).","DOI":"10.1007\/978-3-540-30201-8_60"},{"key":"9174_CR24","unstructured":"Murty, K.G. (1985). Linear and combinatorial programming. R. E. Krieger."},{"key":"9174_CR25","doi-asserted-by":"crossref","unstructured":"Nisan, N., Roughgarden, T., Tardos, E., Vazirani, V.V. (2007). Algorithmic game theory. Cambridge University Press.","DOI":"10.1017\/CBO9780511800481"},{"key":"9174_CR26","doi-asserted-by":"crossref","unstructured":"Pralet, C., Schiex, T., Verfaillie, G. (2006). Decomposition of multi-operator queries on semiring-based graphical models. In CP\u201906 (pp. 437\u2013452).","DOI":"10.1007\/11889205_32"},{"key":"9174_CR27","unstructured":"Pralet, C., Schiex, T., Verfaillie, G. (2009). Sequential decision-making problems - representation and solution. Wiley."},{"issue":"4","key":"9174_CR28","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1080\/095281398146707","volume":"10","author":"AE Prieditis","year":"1998","unstructured":"Prieditis, A.E., & Fletcher, E. (1998). Two-agent ida*. Journal of Experimental & Theoretical Artificial Intelligence, 10 (4), 451\u2013485.","journal-title":"Journal of Experimental & Theoretical Artificial Intelligence"},{"key":"9174_CR29","unstructured":"Rossi, F., van Beek, P., Walsh, T. (2006). Handbook of constraint programming (foundations of artificial intelligence). New York: Elsevier Science Inc."},{"key":"9174_CR30","unstructured":"Russell, S.J., & Norvig, P. (2003). Artificial intelligence: a modern approach. Pearson Education."},{"issue":"5844","key":"9174_CR31","doi-asserted-by":"crossref","first-page":"1518","DOI":"10.1126\/science.1144079","volume":"317","author":"J Schaeffer","year":"2007","unstructured":"Schaeffer, J., Burch, N., Bjrnsson, Y., Kishimoto, A., Mller, M., Lake, R., Lu, P., Sutphen, S. (2007). Checkers is solved. Science, 317 (5844), 1518\u20131522.","journal-title":"Science"},{"key":"9174_CR32","unstructured":"Sturtevant, N.R., & Korf, R.E. (2000). On pruning techniques for multi-player games. In AAAI\u201900 (pp. 201\u2013207)."},{"key":"9174_CR33","unstructured":"Von Neumann, J., & Morgenstern, O. (1944). Theory of games and economic behavior. Princeton University Press."},{"key":"9174_CR34","unstructured":"Walsh, T. (2002). Stochastic constraint programming. In ECAI \u201902 (pp. 111\u2013115)."},{"key":"9174_CR35","unstructured":"Wolsey, L.A. (1998). Integer programming. Wiley."},{"key":"9174_CR36","unstructured":"Wu, Y. (2011). Tractable projection-safe soft global constraints in weighted constraint satisfaction. Master\u2019s thesis, The Chinese University of Hong Kong."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-014-9174-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-014-9174-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-014-9174-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T14:02:52Z","timestamp":1565877772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-014-9174-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,28]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["9174"],"URL":"https:\/\/doi.org\/10.1007\/s10601-014-9174-6","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,28]]}}}