{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:26:12Z","timestamp":1725614772060},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,3,13]]},"DOI":"10.1145\/1066677.1067005","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"1439-1443","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Box-set consistency for interval-based constraint problems"],"prefix":"10.1145","author":[{"given":"Gilles","family":"Chabert","sequence":"first","affiliation":[{"name":"Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Trombettoni","sequence":"additional","affiliation":[{"name":"Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Neveu","sequence":"additional","affiliation":[{"name":"Projet Coprin I3S-INRIA-CERTIS, Sophia Antipolis Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"230","volume-title":"International Conference on Logic Programming","author":"Benhamou F.","year":"1999","unstructured":"F. Benhamou , F. Goualard , L. Granvilliers , and J.-F. Puget . Revising hull and box consistency . In International Conference on Logic Programming , pages 230 -- 244 , 1999 . F. Benhamou, F. Goualard, L. Granvilliers, and J.-F. Puget. Revising hull and box consistency. In International Conference on Logic Programming, pages 230--244, 1999."},{"key":"e_1_3_2_1_2_1","first-page":"124","volume-title":"International Symposium on Logic programming","author":"Benhamou F.","year":"1994","unstructured":"F. Benhamou , D. McAllester , and P. Van Hentenryck . Clp(intervals) revisited . In International Symposium on Logic programming , pages 124 -- 138 . MIT Press , 1994 . F. Benhamou, D. McAllester, and P. Van Hentenryck. Clp(intervals) revisited. In International Symposium on Logic programming, pages 124--138. MIT Press, 1994."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90002-6"},{"key":"e_1_3_2_1_6_1","first-page":"213","volume-title":"Reliable Computing","author":"Delobel F.","year":"1999","unstructured":"F. Delobel , H. Collavizza , and M. Rueher . Comparing partial consistencies . In Reliable Computing , pages 213 -- 228 . Kluwer , 1999 . F. Delobel, H. Collavizza, and M. Rueher. Comparing partial consistencies. In Reliable Computing, pages 213--228. Kluwer, 1999."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90022-1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/322290.322292"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90005-I"},{"key":"e_1_3_2_1_10_1","volume-title":"2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (Cocos'03)","author":"Jermann C.","year":"2003","unstructured":"C. Jermann , G. Trombettoni , and B. Neveu . Inter-block backtracking: Exploiting the structure in continuous csps . In 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (Cocos'03) , 2003 . C. Jermann, G. Trombettoni, and B. Neveu. Inter-block backtracking: Exploiting the structure in continuous csps. In 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (Cocos'03), 2003."},{"key":"e_1_3_2_1_11_1","first-page":"232","volume-title":"Proc. of the 13th IJCAI","author":"Lhomme O.","year":"1993","unstructured":"O. Lhomme . Consistency techniques for numeric csps . In Proc. of the 13th IJCAI , pages 232 -- 238 , 1993 . O. Lhomme. Consistency techniques for numeric csps. In Proc. of the 13th IJCAI, pages 232--238, 1993."},{"key":"e_1_3_2_1_12_1","volume-title":"Contribution \u00e0 la r\u00e9solution de contraintes sur les reels par propagation d'intervalles. Phd thesis","author":"Lhomme O.","year":"1994","unstructured":"O. Lhomme . Contribution \u00e0 la r\u00e9solution de contraintes sur les reels par propagation d'intervalles. Phd thesis , University of Nice-Sophia Antipolis , 1994 . O. Lhomme. Contribution \u00e0 la r\u00e9solution de contraintes sur les reels par propagation d'intervalles. Phd thesis, University of Nice-Sophia Antipolis, 1994."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/355934.355936"}],"event":{"name":"SAC05: The 2005 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Santa Fe New Mexico","acronym":"SAC05"},"container-title":["Proceedings of the 2005 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1066677.1067005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T19:35:08Z","timestamp":1673120108000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066677.1067005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,13]]},"references-count":12,"alternative-id":["10.1145\/1066677.1067005","10.1145\/1066677"],"URL":"https:\/\/doi.org\/10.1145\/1066677.1067005","relation":{},"subject":[],"published":{"date-parts":[[2005,3,13]]},"assertion":[{"value":"2005-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}