{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:33Z","timestamp":1725664293514},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591559"},{"type":"electronic","value":"9783540492009"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59155-9_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:04:06Z","timestamp":1330275846000},"page":"22-38","source":"Crossref","is-referenced-by-count":5,"title":["Solving pseudo-Boolean constraints"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bockmayr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF01581273","volume":"58","author":"E. Balas","year":"1993","unstructured":"E. Balas, S. Ceria, and G. Cornu\u00e9jols. A lift-and-project cutting plane algorithm for mixed 0\u20131 programs. Mathematical Programming, 58:295\u2013324, 1993.","journal-title":"Mathematical Programming"},{"key":"2_CR2","unstructured":"E. Balas, S. Ceria, and G. Cornu\u00e9jols. Solving mixed 0\u20131 programs by a lift-and-project method. In Symposium on Discrete Algorithms, SODA, Austin, Texas ACM-SIAM, 1993."},{"key":"2_CR3","unstructured":"P. Barth. A complete symbolic 0\u20131 constraint solver. In 3rd Workshop on Constraint Logic Programming, WCLP'93, Marseille, March 1993."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"P. Barth. Linear 0\u20131 inequalities and extended clauses. In Logic Programming and Automated Reasoning, LPAR'93, St. Petersburg, Springer, LNCS 698, 1993.","DOI":"10.1007\/3-540-56944-8_40"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"P. Barth. Linear 0\u20131 inequalities and extended clauses. Technical Report MPI-I-94\u2013216, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, April 1994.","DOI":"10.1007\/978-3-642-46955-8_7"},{"key":"2_CR6","unstructured":"P. Barth. Logic-based 0\u20131 constraint solving in constraint logic programming. PhD thesis, Fachbereich Informatik, Univ. des Saarlandes, 1994. In preparation."},{"key":"2_CR7","first-page":"16","volume":"25","author":"R. E. Bixby","year":"1992","unstructured":"R. E. Bixby, E. A. Boyd, and R. Indovina. MIPLIB: A test set for mixed integer programming problems. SIAM News 25, page 16, 1992.","journal-title":"SIAM News"},{"issue":"5","key":"2_CR8","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/0305-0548(86)90056-0","volume":"13","author":"C. E. Blair","year":"1986","unstructured":"C. E. Blair, R. G. Jeroslow, and J. K. Lowe. Some results and experiments in programming techniques for prepositional logic. Computers & Operations Research, 13(5):633\u2013645, 1986.","journal-title":"Computers & Operations Research"},{"key":"2_CR9","unstructured":"A. Bockmayr. Logic programming with pseudo-Boolean constraints. Technical Report MPI-I-91-227, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, 1991."},{"key":"2_CR10","unstructured":"A. Bockmayr. Logic programming with pseudo-Boolean constraints. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming. Selected Research, chapter 18, pages 327\u2013350. MIT Press, 1993."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"A. Bockmayr. Cutting planes in constraint logic programming. Technical Report MPI-I-94-207, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, February 1994.","DOI":"10.1007\/978-3-642-46955-8_13"},{"issue":"2","key":"2_CR12","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0747-7171(87)80065-2","volume":"4","author":"W. B\u00fcttner","year":"1987","unstructured":"W. B\u00fcttner and H. Simonis. Embedding Boolean expressions in logic programming. Journal of Symbolic Computation, 4(2):191\u2013205, 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR13","unstructured":"P. Codognet and D. Diaz. Boolean constraint solving using clp(FD). In Logic Programming. Proceedings of the 1993 International Symposium, ILPS'93, Vancouver. MIT Press, 1993."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"P. Codognet and D. Diaz. clp(B): Combining simplicity and efficiency in Boolean constraint solving. In Programming Language Implementation and Logic Programming, PLILP'94, Madrid. Springer, LNCS 844, 1994.","DOI":"10.1007\/3-540-58402-1_18"},{"issue":"5","key":"2_CR15","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1287\/opre.31.5.803","volume":"31","author":"H. Crowder","year":"1983","unstructured":"H. Crowder, E. J. Johnson, and M. Padberg. Solving large-scale 0\u20131 linear programming problems. Operations Research, 31(5):803\u2013834, 1983.","journal-title":"Operations Research"},{"key":"2_CR16","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1090\/S0002-9904-1958-10224-4","volume":"64","author":"R. E. Gomory","year":"1958","unstructured":"R. E. Gomory. Outline of an algorithm for integer solutions to linear programs. Bull. AMS, 64:275\u2013278, 1958.","journal-title":"Bull. AMS"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"J. Hooker. Logic-based methods for optimization: A tutorial. Working Paper 1994\u201305, GSIA, Carnegie-Mellon-University, 1994.","DOI":"10.1007\/3-540-58601-6_111"},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF02186368","volume":"12","author":"J. N. Hooker","year":"1988","unstructured":"J. N. Hooker. Generalized resolution and cutting planes. Annals of Operations Research, 12:217\u2013239, 1988.","journal-title":"Annals of Operations Research"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0167-9236(88)90097-8","volume":"4","author":"J. N. Hooker","year":"1988","unstructured":"J. N. Hooker. A quantitative approach to logical inference. Decision Support Systems, 4:45\u201369, 1988.","journal-title":"Decision Support Systems"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF01531033","volume":"6","author":"J. N. Hooker","year":"1992","unstructured":"J. N. Hooker. Generalized resolution for 0\u20131 linear inequalities. Annals of Mathmatics and Artificial Intelligence, 6:271\u2013286, 1992.","journal-title":"Annals of Mathmatics and Artificial Intelligence"},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0167-6377(94)90013-2","volume":"15","author":"G. Nemhauser","year":"1994","unstructured":"G. Nemhauser, M. W. P. Savelsbergh, and G. Sigismondi. MINTO, a Mixed INTeger Optimizer. Operations Research Letters, 15:47\u201358, 1994.","journal-title":"Operations Research Letters"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"G. L. Nemhauser and L. A. Wolsey. Integer and Combinatorial Optimization. John Wiley, 1988.","DOI":"10.1002\/9781118627372"},{"issue":"1","key":"2_CR23","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1137\/1033004","volume":"33","author":"M. Padberg","year":"1991","unstructured":"M. Padberg and G. Rinaldi. A branch-and-cut algorithm for the resolution of large-scale symmetric traveling salesman problems. SIAM Review, 33(1):60\u2013100, 1991.","journal-title":"SIAM Review"},{"key":"2_CR24","unstructured":"A. Schrijver. Theory of Linear and Integer Programming. John Wiley, 1986."}],"container-title":["Lecture Notes in Computer Science","Constraint Programming: Basics and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59155-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:50:27Z","timestamp":1687287027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59155-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591559","9783540492009"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-59155-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}