{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:01:54Z","timestamp":1743069714434,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_15","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T14:17:24Z","timestamp":1252937844000},"page":"158-172","source":"Crossref","is-referenced-by-count":3,"title":["Filtering Numerical CSPs Using Well-Constrained Subsystems"],"prefix":"10.1007","author":[{"given":"Ignacio","family":"Araya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Trombettoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Neveu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Ait-Aoudia, S., Jegou, R., Michelucci, D.: Reduction of Constraint Systems. In: Compugraphic (1993)"},{"key":"15_CR2","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: Proc. ICLP, pp. 230\u2013244 (1999)"},{"key":"15_CR3","unstructured":"Chabert, G.: \n                    \n                      http:\/\/www.ibex-lib.org\n                    \n                    \n                   (2009)"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.1016\/j.artint.2009.03.002","volume":"173","author":"G. Chabert","year":"2009","unstructured":"Chabert, G., Jaulin, L.: Contractor Programming. Artificial Intelligence\u00a0173, 1079\u20131100 (2009)","journal-title":"Artificial Intelligence"},{"key":"15_CR5","series-title":"Lecture Notes in Artificial Intelligence","first-page":"349","volume-title":"Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving","author":"J. Cruz","year":"2001","unstructured":"Cruz, J., Barahona, P.: Global Hull Consistency with Local Search for Continuous Constraint Solving. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol.\u00a02258, pp. 349\u2013362. Springer, Heidelberg (2001)"},{"key":"15_CR6","unstructured":"Debruyne, R., Bessi\u00e8re, C.: Some Practicable Filtering Techniques for the Constraint Satisfaction Problem. In: Proc. IJCAI, pp. 412\u2013417 (1997)"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"517","DOI":"10.4153\/CJM-1958-052-0","volume":"10","author":"A.L. Dulmage","year":"1958","unstructured":"Dulmage, A.L., Mendelsohn, N.S.: Covering of Bipartite Graphs. Canadian Journal of Mathematics\u00a010, 517\u2013534 (1958)","journal-title":"Canadian Journal of Mathematics"},{"key":"15_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L. Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, Heidelberg (2001)"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/78928.78931","volume":"16","author":"R.B. Kearfott","year":"1990","unstructured":"Kearfott, R.B., Novoa III, M.: INTBIS, a portable interval Newton\/Bisection package. ACM Trans. on Mathematical Software\u00a016(2), 152\u2013157 (1990)","journal-title":"ACM Trans. on Mathematical Software"},{"issue":"5","key":"15_CR10","doi-asserted-by":"publisher","first-page":"2076","DOI":"10.1137\/S0036142903436174","volume":"42","author":"Y. Lebbah","year":"2005","unstructured":"Lebbah, Y., Michel, C., Rueher, M., Daney, D., Merlet, J.P.: Efficient and safe global constraints for handling numerical constraint systems. SIAM Journal on Numerical Analysis\u00a042(5), 2076\u20132097 (2005)","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"15_CR11","unstructured":"Lhomme, O.: Consistency Tech. for Numeric CSPs. In: IJCAI, pp. 232\u2013238 (1993)"},{"key":"15_CR12","unstructured":"Merlet, J.-P.: \n                    \n                      http:\/\/www-sop.inria.fr\/coprin\/logiciels\/ALIAS\/Benches\/benches.html\n                    \n                    \n                   (2009)"},{"key":"15_CR13","volume-title":"Int. Meth. for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Int. Meth. for Systems of Equations. Cambridge Univ. Press, Cambridge (1990)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/11889205_29","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"B. Neveu","year":"2006","unstructured":"Neveu, B., Chabert, G., Trombettoni, G.: When Interval Analysis helps Interblock Backtracking. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 390\u2013405. Springer, Heidelberg (2006)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/11425076_2","volume-title":"Global Optimization and Constraint Satisfaction","author":"B. Neveu","year":"2005","unstructured":"Neveu, B., Jermann, C., Trombettoni, G.: Inter-Block Backtracking: Exploiting the Structure in Continuous CSPs. In: Jermann, C., Neumaier, A., Sam, D. (eds.) COCOS 2003. LNCS, vol.\u00a03478, pp. 15\u201330. Springer, Heidelberg (2005)"},{"key":"15_CR16","unstructured":"R\u00e9gin, J.-C.: A Filtering Algorithm for Constraints of Difference in CSPs. In: Proc. AAAI 1994, pp. 362\u2013367 (1994)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1007\/978-3-540-74970-7_45","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"G. Trombettoni","year":"2007","unstructured":"Trombettoni, G., Chabert, G.: Constructive Interval Disjunction. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 635\u2013650. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2009"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04244-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:33:43Z","timestamp":1558269223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04244-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042430","9783642042447"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04244-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}