{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:31Z","timestamp":1750307911292,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,11]]},"DOI":"10.1145\/1244002.1244079","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"326-331","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Using constraint techniques for a safe and fast implementation of optimality-based reduction"],"prefix":"10.1145","author":[{"given":"Yahia","family":"Lebbah","sequence":"first","affiliation":[{"name":"Universit\u00e9 d'Oran Es-Senia, Oran, Algeria"}]},{"given":"Claude","family":"Michel","sequence":"additional","affiliation":[{"name":"UNSA-CNRS, Sophia Antipolis -- Cedex France"}]},{"given":"Michel","family":"Rueher","sequence":"additional","affiliation":[{"name":"UNSA-CNRS, Sophia Antipolis -- Cedex France"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_2_1","volume-title":"Control and Dynamic Systems: Advances in Theory and Applications","author":"Balakrishnan V.","year":"1992","unstructured":"V. Balakrishnan and S. P. Boyd . Global optimization in control system analysis and design . In C. Leondes, editor, Control and Dynamic Systems: Advances in Theory and Applications , volume 53 . Academic Press , New York , New York, 1992 . V. Balakrishnan and S. P. Boyd. Global optimization in control system analysis and design. In C. Leondes, editor, Control and Dynamic Systems: Advances in Theory and Applications, volume 53. Academic Press, New York, New York, 1992."},{"key":"e_1_3_2_1_3_1","volume-title":"Nonlinear Programming : Theory and Algorithms","author":"Bazaraa M. S.","year":"1993","unstructured":"M. S. Bazaraa , H. D. Sherali , and C. M. Shetty . Nonlinear Programming : Theory and Algorithms . John Wiley & Sons , 1993 . M. S. Bazaraa, H. D. Sherali, and C. M. Shetty. Nonlinear Programming : Theory and Algorithms. John Wiley & Sons, 1993."},{"key":"e_1_3_2_1_4_1","first-page":"124","volume-title":"Proc. of the ISLP'94","author":"Benhamou F.","year":"1994","unstructured":"F. Benhamou , D. McAllester , and P. V. Hentenryck . Clp(intervals) revisited . In Proc. of the ISLP'94 , pages 124 -- 138 , 1994 . F. Benhamou, D. McAllester, and P. V. Hentenryck. Clp(intervals) revisited. In Proc. of the ISLP'94, pages 124--138, 1994."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-004-0533-8"},{"key":"e_1_3_2_1_7_1","first-page":"125","volume-title":"Future Computing Systems","author":"Cleary J. G.","year":"1987","unstructured":"J. G. Cleary . Logical arithmetic . Future Computing Systems , pages 125 -- 149 , 1987 . J. G. Cleary. Logical arithmetic. Future Computing Systems, pages 125--149, 1987."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1247-7_17"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1960-6_7"},{"key":"e_1_3_2_1_10_1","volume-title":"Global Optimization Using Interval Analysis","author":"Hansen E. R.","year":"2004","unstructured":"E. R. Hansen . Global Optimization Using Interval Analysis . Marcel Dekker , New York , 2004 . E. R. Hansen. Global Optimization Using Interval Analysis. Marcel Dekker, New York, 2004."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02947-3","volume-title":"Global Optimization: Deterministic Approches","author":"Horst R.","year":"1993","unstructured":"R. Horst and H. Tuy . Global Optimization: Deterministic Approches . Springer-Verlag , 1993 . R. Horst and H. Tuy. Global Optimization: Deterministic Approches. Springer-Verlag, 1993."},{"key":"e_1_3_2_1_12_1","volume-title":"Validated probing with linear relaxations, submitted to Journal of Global Optimization","author":"Kearfott R. B.","year":"2005","unstructured":"R. B. Kearfott . Validated probing with linear relaxations, submitted to Journal of Global Optimization , 2005 . R. B. Kearfott. Validated probing with linear relaxations, submitted to Journal of Global Optimization, 2005."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1080\/10556780500130525"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00194-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2005.08.037"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142903436174"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.1515796"},{"key":"e_1_3_2_1_18_1","first-page":"232","volume-title":"Proceedings of IJCAI'93","author":"Lhomme O.","year":"1993","unstructured":"O. Lhomme . Consistency techniques for numeric CSPs . In Proceedings of IJCAI'93 , pages 232 -- 238 , Chamb\u00e9ry (France) , 1993 . O. Lhomme. Consistency techniques for numeric CSPs. In Proceedings of IJCAI'93, pages 232--238, Chamb\u00e9ry (France), 1993."},{"key":"e_1_3_2_1_19_1","first-page":"99","volume-title":"Artificial Intelligence","author":"Mackworth A. K.","year":"1977","unstructured":"A. K. Mackworth . Consistency in networks of relations . Artificial Intelligence , pages 99 -- 118 , 1977 . A. K. Mackworth. Consistency in networks of relations. Artificial Intelligence, pages 99--118, 1977."},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. of CPAIOR 2003","author":"Michel C.","year":"2003","unstructured":"C. Michel , Y. Lebbah , and M. Rueher . Safe embedding of the simplex algorithm in a CSP framework . In Proc. of CPAIOR 2003 , Montr\u00e9al , 2003 . C. Michel, Y. Lebbah, and M. Rueher. Safe embedding of the simplex algorithm in a CSP framework. In Proc. of CPAIOR 2003, Montr\u00e9al, 2003."},{"key":"e_1_3_2_1_21_1","volume-title":"Mathematical Programming. Theory, Algorithms and Applications","author":"Minoux M.","year":"1986","unstructured":"M. Minoux . Mathematical Programming. Theory, Algorithms and Applications . Wiley , 1986 . M. Minoux. Mathematical Programming. Theory, Algorithms and Applications. Wiley, 1986."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569975.004"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2990016.3114312"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0098-1354(94)00097-2"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00138689"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00143879"}],"event":{"name":"SAC07: The 2007 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Seoul Korea","acronym":"SAC07"},"container-title":["Proceedings of the 2007 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244079","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244002.1244079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:50Z","timestamp":1750258070000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244079"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":25,"alternative-id":["10.1145\/1244002.1244079","10.1145\/1244002"],"URL":"https:\/\/doi.org\/10.1145\/1244002.1244079","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}