{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T04:30:35Z","timestamp":1745123435204},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Programming"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1007\/bf02592142","type":"journal-article","created":{"date-parts":[[2007,3,29]],"date-time":"2007-03-29T15:56:37Z","timestamp":1175183797000},"page":"1-10","source":"Crossref","is-referenced-by-count":11,"title":["Resolution and the integrality of satisfiability problems"],"prefix":"10.1007","volume":"74","author":[{"given":"J. N.","family":"Hooker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02592142_CR1","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0167-9236(94)90031-0","volume":"11","author":"K.A. Andersen","year":"1994","unstructured":"K.A. Andersen and J.N. Hooker, Bayesian logic,Decision Support Systems 11 (1994) 191\u2013210.","journal-title":"Decision Support Systems"},{"key":"BF02592142_CR2","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0167-9236(94)00055-7","volume":"16","author":"K.A. Andersen","year":"1996","unstructured":"K.A. Andersen and J.N. Hooker, A linear programming framework for logics of uncertainty,Decision Support Systems 16 (1996) 39\u201353.","journal-title":"Decision Support Systems"},{"key":"BF02592142_CR3","series-title":"Colloq. Math. Soc. J\u00e1nos Bolyai","first-page":"119","volume-title":"Combinatorial Theory and Its Applications I","author":"C. Berge","year":"1970","unstructured":"C. Berge, Sur certains hypergraphes g\u00e9n\u00e9ralisant les graphes biparties, in: P. Erd\u00f6s, A. R\u00e9nyi and V. S\u00f3s, eds.,Combinatorial Theory and Its Applications I, Colloq. Math. Soc. J\u00e1nos Bolyai 4 (North-Holland, Amsterdam, 1970) 119\u2013133."},{"key":"BF02592142_CR4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF01584535","volume":"2","author":"C. Berge","year":"1972","unstructured":"C. Berge, Balanced matrices,Mathematical Programming 2 (1972) 19\u201331.","journal-title":"Mathematical Programming"},{"key":"BF02592142_CR5","unstructured":"V. Chandru and J.N. Hooker,Optimization Methods for Logical Inference (Wiley, New York, to appear)."},{"key":"BF02592142_CR6","doi-asserted-by":"crossref","unstructured":"M. Conforti and G. Cornu\u00e9jols, A class of logic problems solvable by linear programming,Proceedings 33rd Annual Symposium on Foundations of Computer Science (1992) 670\u2013675.","DOI":"10.1109\/SFCS.1992.267784"},{"key":"BF02592142_CR7","volume-title":"Decomposition of balanced 0,+1,\u22121 matrices, Parts I\u2013VII","author":"M. Conforti","year":"1992","unstructured":"M. Conforti, G. Cornu\u00e9jols and M.R. Rao, Decomposition of balanced 0,+1,\u22121 matrices, Parts I\u2013VII, Manuscript, GSIA, Carnegie Mellon University, Pittsburgh, PA (1992)."},{"key":"BF02592142_CR8","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/BFb0121244","volume":"1","author":"D.R. Fulkerson","year":"1974","unstructured":"D.R. Fulkerson, A. Hoffman, R. Oppenheim, On balanced matrices,Mathematical Programming Study 1 (1974) 120\u2013132.","journal-title":"Mathematical Programming Study"},{"key":"BF02592142_CR9","volume-title":"Logical Foundations of Artificial Intelligence","author":"M.R. Genesereth","year":"1987","unstructured":"M.R. Genesereth and N.J. Nilsson,Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987)."},{"key":"BF02592142_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0885-064X(88)90006-4","volume":"4","author":"G. Georgakopolous","year":"1988","unstructured":"G. Georgakopolous, D. Kavvadias and C.H. Papadimitriou, Probabilistic satisfiability,Journal of Complexity 4 (1988) 1\u201311.","journal-title":"Journal of Complexity"},{"key":"BF02592142_CR11","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Boole's Logic and Probability","author":"T. Hailperin","year":"1986","unstructured":"T. Hailperin,Boole's Logic and Probability, second edition, Studies in Logic and the Foundations of Mathematics 85 (North-Holland, Amsterdam, 1986).","edition":"second edition"},{"key":"BF02592142_CR12","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(85)90144-6","volume":"39","author":"A. Haken","year":"1985","unstructured":"A. Haken, The intractability of resolution,Theoretical Computer Science 39 (1985) 297\u2013308.","journal-title":"Theoretical Computer Science"},{"key":"BF02592142_CR13","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF02241270","volume":"44","author":"P. Hansen","year":"1990","unstructured":"P. Hansen and B. Jaumard, Algorithms for the maximum satisfiability problem,Computing 44 (1990) 279\u2013303.","journal-title":"Computing"},{"key":"BF02592142_CR14","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1287\/ijoc.3.2.135","volume":"3","author":"B. Jaumard","year":"1991","unstructured":"B. Jaumard, P. Hansen and M.P. Araga\u00f6, Column generation methods for probabilistic logic,ORSA Journal on Computing 3 (1991) 135\u2013148.","journal-title":"ORSA Journal on Computing"},{"key":"BF02592142_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(87)90028-7","volume":"26","author":"B. Jaumard","year":"1987","unstructured":"B. Jaumard and B. Simeone, On the complexity of the maximum satisfiability problem,Information Processing Letters 26 (1987\u201388) 1\u20134","journal-title":"Information Processing Letters"},{"key":"BF02592142_CR16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N.J. Nilsson","year":"1986","unstructured":"N.J. Nilsson, Probabilistic logic,Artificial Intelligence 28 (1986) 71\u201387.","journal-title":"Artificial Intelligence"},{"key":"BF02592142_CR17","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1080\/00029890.1952.11988183","volume":"59","author":"W.V. Quine","year":"1952","unstructured":"W.V. Quine, The problem of simplifying truth functions,American Mathematical Monthly 59 (1952) 521\u2013531.","journal-title":"American Mathematical Monthly"},{"key":"BF02592142_CR18","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1080\/00029890.1955.11988710","volume":"62","author":"W.V. Quine","year":"1955","unstructured":"W.V. Quine, A way to simplify truth functions,American Mathematical Monthly 62 (1955) 627\u2013631.","journal-title":"American Mathematical Monthly"},{"key":"BF02592142_CR19","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"J.A. Robinson, A machine-oriented logic based on the resolution principle,Journal of the Association for Computing Machinery 12 (1965) 23\u201341.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"BF02592142_CR20","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"A. Schrijver,Theory of Linear and Integer Programming (Wiley, New York, 1986)."},{"key":"BF02592142_CR21","unstructured":"K. Truemper, On balanced matrices and Tutte's characterization of regular matroids, Manuscript (1978)."}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02592142.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02592142\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02592142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:37:52Z","timestamp":1558395472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02592142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["BF02592142"],"URL":"https:\/\/doi.org\/10.1007\/bf02592142","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}