{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:40:07Z","timestamp":1752381607252,"version":"3.41.2"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[1999,5]]},"DOI":"10.1023\/a:1009838725226","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T18:53:29Z","timestamp":1040583209000},"page":"101-112","source":"Crossref","is-referenced-by-count":5,"title":["Inference Duality as a Basis for Sensitivity Analysis"],"prefix":"10.1007","volume":"4","author":[{"given":"J. N.","family":"Hooker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"205042_CR1","volume-title":"Logic-Based 0-1 Constraint Solving in Constraint Logic Programming","author":"P. Barth","year":"1995","unstructured":"Barth, P. (1995). Logic-Based 0-1 Constraint Solving in Constraint Logic Programming, Kluwer, Dordrecht."},{"key":"205042_CR2","volume-title":"Linear Programming","author":"V. Chv\u00e1tal","year":"1983","unstructured":"Chv\u00e1tal, V. (1983). Linear Programming, W. H. Freeman, New York."},{"key":"205042_CR3","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(89)90080-5","volume":"41","author":"M. C. Cooper","year":"1989","unstructured":"Cooper, M. C. (1989). An optimal k-consistency algorithm, Artificial Intelligence 41: 89-95.","journal-title":"Artificial Intelligence"},{"key":"205042_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0167-9236(88)90097-8","volume":"4","author":"J. N. Hooker","year":"1988","unstructured":"Hooker, J. N. (1988). A quantitative approach to logical inference, Decision Support Systems 4: 45-69.","journal-title":"Decision Support Systems"},{"key":"205042_CR5","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF01531033","volume":"6","author":"J. N. Hooker","year":"1992","unstructured":"Hooker, J. N. (1992). Generalized resolution for 0-1 linear inequalities, Annals of Mathematics and Artificial Intelligence 6: 271-286.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"205042_CR6","doi-asserted-by":"crossref","unstructured":"Hooker, J. N. (1994). Logic-based methods for optimization, in A. Borning, ed., Principles and Practice of Constraint Programming, Lecture Notes in Computer Science 874: 336-349.","DOI":"10.1007\/3-540-58601-6_111"},{"key":"205042_CR7","unstructured":"Hooker, J. N. (1996). Logic-based Benders decomposition. Available on http:\/\/www.gsia.cmu.edu\/afs\/andrew\/afs\/jh38\/jnh.html."},{"key":"205042_CR8","doi-asserted-by":"crossref","DOI":"10.1002\/9781118627372","volume-title":"Integer and Combinatorial Optimization","author":"G. L. Nemhauser","year":"1988","unstructured":"Nemhauser, G. L., and L. A. Wolsey (1988). Integer and Combinatorial Optimization, Wiley, New York."},{"key":"205042_CR9","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1080\/00029890.1952.11988183","volume":"59","author":"W. V. Quine","year":"1952","unstructured":"Quine, W. V. (1952). The problem of simplifying truth functions, American Mathematical Monthly 59: 521-531.","journal-title":"American Mathematical Monthly"},{"key":"205042_CR10","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1080\/00029890.1955.11988710","volume":"62","author":"W. V. Quine","year":"1955","unstructured":"Quine, W. V. (1955). A way to simplify truth functions, American Mathematical Monthly 62: 627-631.","journal-title":"American Mathematical Monthly"},{"key":"205042_CR11","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle, Journal of the ACM 12: 23-41.","journal-title":"Journal of the ACM"},{"key":"205042_CR12","doi-asserted-by":"crossref","first-page":"1008","DOI":"10.1287\/opre.33.5.1008","volume":"33","author":"L. Schrage","year":"1985","unstructured":"Schrage, L., and L. Wolsey (1985). Sensitivity analysis for branch and bound integer programming, Operations Research 33: 1008-1023.","journal-title":"Operations Research"},{"key":"205042_CR13","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A., (1986). Theory of Linear and Integer Programming, Wiley, Chichester."},{"key":"205042_CR14","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0167-6377(87)90041-1","volume":"6","author":"J. Skorin-Kapov","year":"1987","unstructured":"Skorin-Kapov, J., and F. Granot (1987). Nonlinear integer programming: Sensitivity analysis for branch and bound, Operations Research Letters 6: 269-274.","journal-title":"Operations Research Letters"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009838725226.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009838725226\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009838725226.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:04:39Z","timestamp":1752379479000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009838725226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["205042"],"URL":"https:\/\/doi.org\/10.1023\/a:1009838725226","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}