{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T12:07:10Z","timestamp":1759666030783},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540586012"},{"type":"electronic","value":"9783540490326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58601-6_111","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:37:37Z","timestamp":1330274257000},"page":"336-349","source":"Crossref","is-referenced-by-count":44,"title":["Logic-based methods for optimization"],"prefix":"10.1007","author":[{"given":"J. N.","family":"Hooker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"27_CR1","volume-title":"Linear 0-1 inequalities and extended clauses, manuscript","author":"P. Barth","year":"1993","unstructured":"Barth, P., Linear 0-1 inequalities and extended clauses, manuscript, Max-Planck-Institut fur Informatik, W-6600 Saarbr\u00fccken, Germany, ca. 1993."},{"key":"27_CR2","unstructured":"Bollapragada, R., O. Ghattas and J. N. Hooker, Logic-based optimization of truss structure design, Carnegie Mellon University, in preparation."},{"key":"27_CR3","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0012-365X(73)90167-2","volume":"4","author":"V. Chv\u00e1tal","year":"1973","unstructured":"Chv\u00e1tal, V., Edmonds polytopes and a hierarchy of combinatorial problems, Discrete Mathematics 4 (1973) 305\u2013337.","journal-title":"Discrete Mathematics"},{"key":"27_CR4","unstructured":"Granot, F., and P. L. Hammer, On the use of boolean functions in 0-1 linear programming, Methods of Operations Research (1971) 154\u2013184."},{"key":"27_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-85823-9","volume-title":"Boolean Methods in Operations Research and Related Areas","author":"P. L. Hammer","year":"1968","unstructured":"Hammer, P. L., and S. Rudeanu, Boolean Methods in Operations Research and Related Areas, Springer Verlag (Berlin, New York, 1968)."},{"key":"27_CR6","first-page":"271","volume":"6","author":"J. N. Hooker","year":"1992","unstructured":"Hooker, J. N., Generalized resolution for 0-1 inequalities, Annals of Mathematics and AI 6 (1992) 271\u2013286.","journal-title":"Annals of Mathematics and AI"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Hooker, J. N., Logic-based methods for optimization: A tutorial, presented at ORSA Computer Science Technical Section meeting, Williamsburg, VA, USA, January 1994.","DOI":"10.1007\/3-540-58601-6_111"},{"key":"27_CR8","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0305-0548(94)90089-2","volume":"21","author":"J. N. Hooker","year":"1994","unstructured":"Hooker, J. N., H. Yan, I. E. Grossmann, and R. Raman, Logic cuts for processing networks with fixed costs. Computers and Operations Research 21 (1994) 265\u2013279.","journal-title":"Computers and Operations Research"},{"key":"27_CR9","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0166-218X(87)90026-6","volume":"17","author":"R. E. Jeroslow","year":"1987","unstructured":"Jeroslow, R. E., Representability in mixed integer programming, I: Characterization results, Discrete Applied Mathematics 17 (1987) 223\u2013243.","journal-title":"Discrete Applied Mathematics"},{"key":"27_CR10","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BFb0121015","volume":"22","author":"R. E. Jeroslow","year":"1984","unstructured":"Jeroslow, R. E., and J. K. Lowe, Modeling with integer variables, Mathematical Programming Studies 22 (1984) 167\u2013184.","journal-title":"Mathematical Programming Studies"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Newhauser, G. L., and L. A. Wolsey, Integer and Combinatorial Optimization (Wiley, 1988).","DOI":"10.1002\/9781118627372"},{"key":"27_CR12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0098-1354(91)87007-V","volume":"15","author":"R. Raman","year":"1991","unstructured":"Raman, R., and I. E. Grossmann, Relation between MILP modeling and logical inference for chemical process synthesis, Computers and Chemical Engineering 15 (1991) 73\u201384.","journal-title":"Computers and Chemical Engineering"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58601-6_111.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T08:12:14Z","timestamp":1640938334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58601-6_111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586012","9783540490326"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58601-6_111","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}