{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:01Z","timestamp":1725574381059},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540238065"},{"type":"electronic","value":"9783540304982"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30498-2_13","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T00:21:59Z","timestamp":1294446119000},"page":"124-133","source":"Crossref","is-referenced-by-count":0,"title":["Constrainedness and Redundancy by Constraint Ordering"],"prefix":"10.1007","author":[{"given":"Miguel A.","family":"Salido","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Barber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Bartk, R.: Constraint programming: In pursuit of the holy grail. In: Proceedings of WDS 1999 (invited lecture), Prague (June 1999)"},{"key":"13_CR2","unstructured":"Dechter, A., Dechter, R.: Removing redundancies in constraint networks. In: Proceeding of National Conference on Artificial Intelligence (AAAI), pp. 105\u2013109 (1987)"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90002-6","volume":"34","author":"R. Dechter","year":"1988","unstructured":"Dechter, R., Pearl, J.: Network-based heuristics for constraint satisfaction problems. Artificial Intelligence\u00a034, 1\u201338 (1988)","journal-title":"Artificial Intelligence"},{"key":"13_CR4","unstructured":"Gent, I.P., MacIntyre, E., Prosser, P.: The constrainedness of search. In: Proceedings of AAAI 1996, pp. 246\u2013252 (1996)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Gent, I.P., MacIntyre, E., Prosser, P., Walsh, T.: The constrainedness of arc consistency. Principles and Practice of Constraint Programming, 327\u2013340 (1997)","DOI":"10.1007\/BFb0017449"},{"key":"13_CR6","unstructured":"Liret, A., Roy, P., Pachet, F.: Constraints satisfaction and symbolic reasoning for reactive control systems. In: CP Workshop on Constraints in Control (1999)"},{"key":"13_CR7","unstructured":"Sabin, M., Freuder, E.C.: Detecting and resolving inconsistency and redundancy in conditional constraint satisfaction problems. In: Configuration Papers from the AAAI Workshop, WS-99 2005 (1999)"},{"key":"13_CR8","unstructured":"Sadeh, N., Fox, M.S.: Variable and value ordering heuristics for activity-based jobshop scheduling. In: proc. of Fourth International Conference on Expert Systems in Production and Operations Management, pp. 134\u2013144 (1990)"},{"key":"13_CR9","unstructured":"Salido, M.A., Giret, A., Barber, F.: Distributing Constraints by Sampling in Non-Binary CSPs. In: IJCAI Workshop on Distributing Constraint Reasoning, pp. 79\u201387 (2003)"},{"key":"13_CR10","volume-title":"Foundation of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E.: Foundation of Constraint Satisfaction. Academic Press, London (1993)"},{"key":"13_CR11","unstructured":"Wallace, R., Freuder, E.: Ordering heuristics for arc consistency algorithms. In: Proc. of Ninth Canad. Conf. on A.I, pp. 163\u2013169 (1992)"},{"key":"13_CR12","unstructured":"Walsh, T.: The constrainedness knife-edge. In: Proceedings of the 15th National Conference on AI (AAAI-1998), pp. 406\u2013411 (1998)"},{"key":"13_CR13","unstructured":"Waltz, D.L.: Understanding line drawings of scenes with shadows. The Psychology of Computer Vision, 19\u201391 (1975)"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2013 IBERAMIA 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30498-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:04:42Z","timestamp":1620014682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30498-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540238065","9783540304982"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30498-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}