{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T23:26:47Z","timestamp":1785022007747,"version":"3.55.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T00:00:00Z","timestamp":1154476800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Program."],"published-print":{"date-parts":[[2007,11,30]]},"DOI":"10.1007\/s10107-006-0018-z","type":"journal-article","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T15:54:16Z","timestamp":1154534056000},"page":"303-325","source":"Crossref","is-referenced-by-count":10,"title":["Generating facets for the cut polytope of a graph by triangular elimination"],"prefix":"10.1007","volume":"112","author":[{"given":"David","family":"Avis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hiroshi","family":"Imai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tsuyoshi","family":"Ito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,8,2]]},"reference":[{"issue":"6","key":"18_CR1","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1002\/net.3230210602","volume":"21","author":"D. Avis","year":"1991","unstructured":"Avis D., Deza M. (1991) The cut cone, L 1 embeddability, complexity and multicommodity flows. Networks 21(6): 595\u2013617","journal-title":"Networks"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Avis, D., Imai, H., Ito, T.: On the relationship between convex bodies related to correlation experiments with dichotomic observables. arXiv:quant-ph\/0605148 (2006) (Submitted)","DOI":"10.1088\/0305-4470\/39\/36\/010"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Avis D., Imai H., Ito T., Sasaki Y. Two-party Bell inequalities derived from combinatorics via triangular elimination. J. Phys. A. Math. General 38(50), 10971\u201310987, arXiv:quant-ph\/0505060 (2005)","DOI":"10.1088\/0305-4470\/38\/50\/007"},{"issue":"2","key":"18_CR4","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1287\/moor.10.2.340","volume":"10","author":"F. Barahona","year":"1985","unstructured":"Barahona F., Gr\u00f6tschel M., Mahjoub A.R. (1985) Facets of the bipartite subgraph polytope. Math. Oper. Res. 10(2): 340\u2013358","journal-title":"Math. Oper. Res."},{"issue":"2","key":"18_CR5","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF02592023","volume":"36","author":"F. Barahona","year":"1986","unstructured":"Barahona F., Mahjoub A.R. (1986) On the cut polytope. Math. Program. 36(2): 157\u2013173","journal-title":"Math. Program."},{"issue":"3","key":"18_CR6","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195","volume":"1","author":"J.S. Bell","year":"1964","unstructured":"Bell J.S. (1964) On the Einstein Podolsky Rosen paradox. Physics 1(3): 195\u2013200","journal-title":"Physics"},{"key":"18_CR7","doi-asserted-by":"crossref","DOI":"10.5962\/bhl.title.29413","volume-title":"An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities","author":"G. Boole","year":"1854","unstructured":"Boole G. (1854) An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities. Dover Publications, New York"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Cleve, R., H\u00f8yer, P., Toner, B., Watrous, J.: Consequences and limits of nonlocal strategies. In: Proceedings of 19th IEEE Annual Conference on Computational Complexity (CCC\u201904), pp. 236\u2013249, arXiv:quant-ph\/0404076 (2004)","DOI":"10.1109\/CCC.2004.1313847"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Collins, D., Gisin, N.: A relevant two qubit Bell inequality inequivalent to the CHSH inequality. J. Phys. A Math. General 37(5), 1775\u20131787, arXiv:quant-ph\/0306129 (2004)","DOI":"10.1088\/0305-4470\/37\/5\/021"},{"issue":"(18","key":"18_CR10","first-page":"873","volume":"277","author":"M. Deza","year":"1973","unstructured":"Deza M. (1973) Matrices des formes quadratiques non n\u00e9gatives pour des arguments binaires. C. R. Acad. Sci. Paris 277A(18): 873\u2013875","journal-title":"C. R. Acad. Sci. Paris"},{"issue":"2","key":"18_CR11","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01580897","volume":"56","author":"M. Deza","year":"1992","unstructured":"Deza M., Laurent M. (1992) Facets for the cut cone I. math. Program. 56(2): 121\u2013160","journal-title":"Program."},{"issue":"2","key":"18_CR12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01580898","volume":"56","author":"M. Deza","year":"1992","unstructured":"Deza M., Laurent M. (1992) Facets for the cut cone II: Clique-web inequalities. Math. Program. 56(2): 161\u2013188","journal-title":"Math. Program."},{"issue":"2","key":"18_CR13","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0377-0427(94)90020-5","volume":"55","author":"M. Deza","year":"1994","unstructured":"Deza M., Laurent M. (1994) Applications of cut polyhedra I. J. Comput. Appl. Math. 55(2): 191\u2013216","journal-title":"J. Comput. Appl. Math."},{"issue":"2","key":"18_CR14","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0377-0427(94)90021-3","volume":"55","author":"M. Deza","year":"1994","unstructured":"Deza M., Laurent M. (1994) Applications of cut polyhedra II. J. Comput. Appl. Math. 55(2): 217\u2013247","journal-title":"J. Comput. Appl. Math."},{"key":"18_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-04295-9","volume-title":"Geometry of Cuts and Metrics. Algorithms and Combinatorics, vol. 15.","author":"M.M. Deza","year":"1997","unstructured":"Deza M.M., Laurent M. (1997) Geometry of Cuts and Metrics. Algorithms and Combinatorics, vol. 15. Springer, Berlin Heidelberg New York"},{"issue":"(2","key":"18_CR16","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF02903286","volume":"64","author":"M. Froissart","year":"1981","unstructured":"Froissart M. (1981) Constructive generalization of Bell\u2019s inequalities. Nuovo Cimento Soc Ital 64B(2): 241\u2013251","journal-title":"Nuovo Cimento Soc Ital"},{"issue":"2","key":"18_CR17","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0195-6698(13)80064-9","volume":"11","author":"V.P. Grishukhin","year":"1990","unstructured":"Grishukhin V.P. (1990) All facets of the cut cone C n for n \u00a0=\u00a0 7 are known. Eur. J. Combin. 11(2): 115\u2013117","journal-title":"Eur. J. Combin."},{"issue":"3","key":"18_CR18","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1287\/opre.13.3.388","volume":"13","author":"P.L. Hammer","year":"1965","unstructured":"Hammer P.L. (1965) Some network flow problems solved with pseudo-Boolean programming. Oper. Res. 13(3): 388\u2013399","journal-title":"Oper. Res."},{"key":"18_CR19","unstructured":"Kr\u00fcger, O., Werner, R.F.: Some open problems in quantum information theory. arXiv:quant-ph\/0504166. See also http:\/\/www.imaph.tu-bs.de\/qi\/problems\/problems.html, (2005)"},{"issue":"10","key":"18_CR20","doi-asserted-by":"crossref","first-page":"1527","DOI":"10.1063\/1.1665874","volume":"13","author":"W.B. McRae","year":"1972","unstructured":"McRae W.B., Davidson E.R. (1972) Linear inequalities for density matrices II. J. Math. Phys. 13(10): 1527\u20131538","journal-title":"J. Math. Phys."},{"key":"18_CR21","doi-asserted-by":"crossref","DOI":"10.1002\/9781118627372","volume-title":"Integer and Combinatorial Optimization Wiley-Interscience Series in Discrete Mathematics and Optimization","author":"G.L. Nemhauser","year":"1988","unstructured":"Nemhauser G.L., Wolsey L.A. (1988) Integer and Combinatorial Optimization Wiley-Interscience Series in Discrete Mathematics and Optimization. Wiley, New York"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Peres, A.: All the Bell inequalities. Found. Phys. 29(4), 589\u2013614, arXiv:quant-ph\/9807017 (1999)","DOI":"10.1023\/A:1018816310000"},{"issue":"6","key":"18_CR23","doi-asserted-by":"crossref","first-page":"1556","DOI":"10.1063\/1.527066","volume":"27","author":"I. Pitowsky","year":"1986","unstructured":"Pitowsky I. (1986) The range of quantum probability. J. Math. Phys. 27(6): 1556\u20131565","journal-title":"J. Math. Phys."},{"key":"18_CR24","volume-title":"Quantum Probability \u2013 Quantum Logic. Lecture Notes in Physics, vol. 321","author":"I. Pitowsky","year":"1989","unstructured":"Pitowsky I.(1989) Quantum Probability \u2013 Quantum Logic. Lecture Notes in Physics, vol. 321. Springer, Berlin Heidelberg New York"},{"issue":"3","key":"18_CR25","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/BF01594946","volume":"50","author":"I. Pitowsky","year":"1991","unstructured":"Pitowsky I. (1991) Correlation polytopes: Their geometry and complexity. Math. Program. 50(3): 395\u2013414","journal-title":"Math. Program."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Pitowsky, I., Svozil, K.: Optimal tests of quantum nonlocality. Phys. Rev. A 64(014102) arXiv:quant-ph\/0011060 (2001)","DOI":"10.1103\/PhysRevA.64.014102"},{"issue":"5","key":"18_CR27","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1016\/0167-6377(90)90029-5","volume":"9","author":"C. De Simone","year":"1990","unstructured":"De Simone C. (1990) Lifting facets of the cut polytope. Oper. Res. Lett. 9(5): 341\u2013344","journal-title":"Oper. Res. Lett."},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Werner, R.F., Wolf, M.M.: All-multipartite Bell-correlation inequalities for two dichotomic observables per site. Phys. Rev. A 64(032112), arXiv:quant-ph\/0102024 (2001)","DOI":"10.1103\/PhysRevA.64.032112"},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"Werner, R.F., Wolf, M.M.: Bell inequalities and entanglement. Quantum Information and Computation 1(3), 1\u201325, arXiv:quant-ph\/0107093 (2001)","DOI":"10.26421\/QIC1.3-1"},{"key":"18_CR30","volume-title":"Lectures on Polytopes, Graduate Texts in Mathematics, vol. 152, revised edn","author":"G.M. Ziegler","year":"1998","unstructured":"Ziegler G.M. (1998) Lectures on Polytopes, Graduate Texts in Mathematics, vol. 152, revised edn. Springer, Berlin Heidelberg New York"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"\u017bukowski, M., Brukner, \u010c.: Bell\u2019s theorem for general N-qubit states. Phys. Rev. Lett. 88(210401), arXiv:quant-ph\/0102039 (2002)","DOI":"10.1103\/PhysRevLett.88.210401"}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-006-0018-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10107-006-0018-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-006-0018-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T08:54:40Z","timestamp":1736499280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10107-006-0018-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,8,2]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,11,30]]}},"alternative-id":["18"],"URL":"https:\/\/doi.org\/10.1007\/s10107-006-0018-z","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,8,2]]}}}