{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:27:10Z","timestamp":1725568030519},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204633"},{"type":"electronic","value":"9783540399018"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39901-8_11","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T14:39:21Z","timestamp":1288017561000},"page":"142-156","source":"Crossref","is-referenced-by-count":2,"title":["A New Method for the Global Solution of Large Systems of Continuous Constraints"],"prefix":"10.1007","author":[{"given":"Mark S.","family":"Boddy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel P.","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Boddy, M., Carciofini, J., Hadden, G.: Scheduling with Partial Orders and a Causal Model. In: Proceedings of the Space Applications and Research Workshop, Johnson Space Flight Center (August 1992)"},{"key":"11_CR2","unstructured":"Boddy, M., Goldman, R.: Empirical Results on Scheduling and Dynamic Backtracking. In: Proceedings of the International Symposium on Artificial Intelligence, Robotics, and Automation for Space, Pacadena, CA (1994)"},{"key":"11_CR3","unstructured":"Boddy, M., White, J., Goldman, R., Short, N.: Integrated Planning and Scheduling for Earth Science Data Processing. In: Hostetter, C.F. (eds.) Proceedings of the 1995 Goddard Conference on Space Applications of Artificial Intelligence and Emerging Information Technologies, pp. 91\u2013101. NASA Conference Publication 3296 (1995)"},{"key":"11_CR4","unstructured":"Boddy, M., Krebsbach, K.: Hybrid Reasoning for Complex Systems. In: Fall Symposium on Model-directed Autonomous Systems (1997)"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/300515.300519","volume":"46","author":"F. Cucker","year":"1999","unstructured":"Cucker, F., Smale, S.: Complexity Estimates Depending on Condition Number and Round-off Error. Jour. of the Assoc. of Computing Machinery\u00a046, 113\u2013184 (1999)","journal-title":"Jour. of the Assoc. of Computing Machinery"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Goldman, R., Boddy, M.: Constraint-Based Scheduling for Batch Manufacturing. IEEE Expert (1997)","DOI":"10.1109\/64.577413"},{"key":"11_CR7","unstructured":"Heipcke, S.: Combined Modeling and Problem Solving in Mathematical Pro- gramming and Constraint Programming, PhD Thesis, School of Business, University of Buckingham (1999)"},{"key":"11_CR8","doi-asserted-by":"crossref","DOI":"10.1002\/9781118033036","volume-title":"Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction","author":"J. Hooker","year":"2000","unstructured":"Hooker, J.: Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction. Wiley, John & Sons, Chichester (2000)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39901-8_5","volume-title":"Global Optimization and Constraint Satisfaction","author":"C. Jansson","year":"2003","unstructured":"Jansson, C.: Rigorous Error Bounds for the Optimal Value of Linear Programming Problems. In: Bliek, C., Jermann, C., Neumaier, A. (eds.) COCOS 2002. LNCS, vol.\u00a02861, Springer, Heidelberg (2003)"},{"key":"11_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R. Kearfott","year":"1996","unstructured":"Kearfott, R.: Rigorous Global Search: Continuous Problems. Kluwer Academic Publishers, Dordrecht (1996)"},{"issue":"9-10","key":"11_CR11","doi-asserted-by":"publisher","first-page":"2125","DOI":"10.1016\/S0098-1354(00)00581-0","volume":"24","author":"S. Lee","year":"2000","unstructured":"Lee, S., Grossmann, I.: New Algorithms for Nonlinear Generalized Disjunctive Programming. Computers and Chem. Engng.\u00a024(9-10), 2125\u20132141 (2000)","journal-title":"Computers and Chem. Engng."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Moore, R.: Methods and Applications of Interval Analysis, by Moore, R.E., Society for Industrial & Applied Mathematics, Philadelphia (1979)","DOI":"10.1137\/1.9781611970906"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Smith, B., Brailsford, S., Hubbard, P., Williams, H.: The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. In: Working Notes of the Joint Workshop on Artificial Intelligence and Operations Research, Timberline, OR (1995)","DOI":"10.1007\/3-540-60299-2_3"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., McAllister, D., Kapur, D.: Solving Polynomial Sys- tems Using a Branch and Prune Approach. SIAM Journal on Numerical Analysis\u00a034(2) (1997)","DOI":"10.1137\/S0036142995281504"}],"container-title":["Lecture Notes in Computer Science","Global Optimization and Constraint Satisfaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39901-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T16:30:17Z","timestamp":1636734617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39901-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204633","9783540399018"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39901-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}