{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T02:06:54Z","timestamp":1747188414974},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642115028"},{"type":"electronic","value":"9783642115035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11503-5_12","type":"book-chapter","created":{"date-parts":[[2010,1,7]],"date-time":"2010-01-07T04:42:16Z","timestamp":1262839336000},"page":"134-148","source":"Crossref","is-referenced-by-count":15,"title":["Automating Mathematical Program Transformations"],"prefix":"10.1007","author":[{"given":"Ashish","family":"Agarwal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sooraj","family":"Bhat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Gray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ignacio E.","family":"Grossmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Balas, E.: Disjunctive programming: Properties of the convex hull of feasible points. Technical Report MSRR 348, Carnegie Mellon University (1974)"},{"key":"12_CR2","series-title":"Wiley-Interscience series in discrete mathematics and optimization","volume-title":"Integer and combinatorial optimization","author":"G.L. Nemhauser","year":"1999","unstructured":"Nemhauser, G.L., Wolsey, L.A.: Integer and combinatorial optimization. Wiley-Interscience series in discrete mathematics and optimization. Wiley, NY (1999)"},{"issue":"7","key":"12_CR3","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1016\/0098-1354(93)E0010-7","volume":"18","author":"R. Raman","year":"1994","unstructured":"Raman, R., Grossmann, I.E.: Modelling and computational techniques for logic based integer programming. Computers & Chem. Eng.\u00a018(7), 563\u2013578 (1994)","journal-title":"Computers & Chem. Eng."},{"key":"12_CR4","unstructured":"Agarwal, A.: Logical Modeling Frameworks for the Optimization of Discrete-Continuous Systems. PhD thesis, Carnegie Mellon University (2006)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Potts, P., Edalat, A., Escardo, M.: Semantics of exact real arithmetic. In: LICS 1997, 12th Annual IEEE Symp. on Logic in Comp. Sci., Warsaw, pp. 248\u2013257 (1997)","DOI":"10.1109\/LICS.1997.614952"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/507635.507662","volume-title":"Proceedings of the sixth ACM SIGPLAN International Conference on Functional programming, ICFP 2001","author":"A. Nanevski","year":"2001","unstructured":"Nanevski, A., Blelloch, G., Harper, R.: Automatic generation of staged geometric predicates. In: Proceedings of the sixth ACM SIGPLAN International Conference on Functional programming, ICFP 2001, pp. 217\u2013228. ACM, Florence (2001)"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1137\/0606047","volume":"6","author":"E. Balas","year":"1985","unstructured":"Balas, E.: Disjunctive programming and a hierarchy of relaxations for discrete optimization problems. SIAM J. Alg. Disc. Meth.\u00a06(3), 466\u2013486 (1985)","journal-title":"SIAM J. Alg. Disc. Meth."},{"issue":"1-3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0166-218X(98)00136-X","volume":"89","author":"E. Balas","year":"1998","unstructured":"Balas, E.: Disjunctive programming: Properties of the convex hull of feasible points. Discrete Applied Mathematics\u00a089(1-3), 3\u201344 (1998)","journal-title":"Discrete Applied Mathematics"},{"key":"12_CR9","unstructured":"Sawaya, N.: Reformulations, Relaxations and Cutting Planes for Generalized Disjunctive Programming. PhD thesis, Carnegie Mellon University (2006)"},{"issue":"9-10","key":"12_CR10","doi-asserted-by":"publisher","first-page":"2143","DOI":"10.1016\/S0098-1354(00)00582-2","volume":"24","author":"A. Vecchietti","year":"2000","unstructured":"Vecchietti, A., Grossmann, I.E.: Modeling issues and implementation of language for disjunctive programming. Computers & Chem. Eng.\u00a024(9-10), 2143\u20132155 (2000)","journal-title":"Computers & Chem. Eng."},{"key":"12_CR11","unstructured":"Liberti, L.: Techniques de Reformulation en Programmation Math\u00e9matique. L\u2019habilitation \u00e0 diriger des recherches (HDR), Universit\u00e9 Paris IX, Lamsade (2007); Language: English"},{"key":"12_CR12","unstructured":"Gordon, G.J., Hong, S.A., Dud\u00efk, M.: First-order mixed integer linear programming. In: Proc. of the 25th Conf. an Uncertainty in Artificial Intelligence (2009)"},{"key":"12_CR13","series-title":"Wiley-Interscience series in discrete mathematics and optimization","doi-asserted-by":"crossref","DOI":"10.1002\/9781118033036","volume-title":"Logic-based methods for optimization: combining optimization and constraint satisfaction","author":"J.N. Hooker","year":"2000","unstructured":"Hooker, J.N.: Logic-based methods for optimization: combining optimization and constraint satisfaction. Wiley-Interscience series in discrete mathematics and optimization. John Wiley & Sons, Chichester (2000)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-77442-6_6","volume-title":"Practical Aspects of Declarative Languages","author":"S. Brand","year":"2008","unstructured":"Brand, S., Duck, G.J., Puchinger, J., Stuckey, P.J.: Flexible, rule-based constraint model linearisation. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 68\u201383. Springer, Heidelberg (2008)"},{"key":"12_CR15","unstructured":"McAloon, K., Tretkoff, C.: 2LP: Linear programming and logic programming. In: Principles and Practice of Constraint Programming, pp. 178\u2013189 (1993)"},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0121223","volume":"20","author":"J. Bisschop","year":"1982","unstructured":"Bisschop, J., Meeraus, A.: On the development of a general algebraic modeling system in a strategic-planning environment. Mathematical Programming Study\u00a020, 1\u201329 (1982)","journal-title":"Mathematical Programming Study"},{"issue":"5","key":"12_CR17","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1287\/mnsc.36.5.519","volume":"36","author":"R. Fourer","year":"1990","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: A modeling language for mathematical programming. Management Science\u00a036(5), 519\u2013554 (1990)","journal-title":"Management Science"},{"key":"12_CR18","unstructured":"Colombani, Y., Heipcke, T.: Mosel: an extensible environment for modeling and programming solutions. In: Jussien, N., Laburthe, F. (eds.) 4th Intl. Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2002), Le Croisic, France, pp. 277\u2013290 (2002)"},{"key":"12_CR19","volume-title":"The OPL optimization programming language","author":"P. Hentenryck van","year":"1999","unstructured":"van Hentenryck, P.: The OPL optimization programming language. MIT Press, Cambridge (1999)"},{"key":"12_CR20","series-title":"Applied optimization","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0215-5","volume-title":"Modeling languages in mathematical optimization","author":"J. Kallrath","year":"2004","unstructured":"Kallrath, J.: Modeling languages in mathematical optimization. Applied optimization, vol.\u00a088. Kluwer Academic Publishers, Boston (2004)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11503-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:53:09Z","timestamp":1619783589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11503-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642115028","9783642115035"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11503-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}