{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T03:46:14Z","timestamp":1772855174791,"version":"3.50.1"},"reference-count":31,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["European Journal of Operational Research"],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1016\/s0377-2217(02)00073-5","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T11:56:01Z","timestamp":1034596561000},"page":"338-353","source":"Crossref","is-referenced-by-count":47,"title":["Formulating logical implications in combinatorial optimisation"],"prefix":"10.1016","volume":"140","author":[{"given":"Frank","family":"Plastria","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0377-2217(02)00073-5_BIB1","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1287\/mnsc.12.3.253","article-title":"Integer programming, methods, uses, and computation","volume":"12","author":"Balinski","year":"1965","journal-title":"Management Science A"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB2","series-title":"Logic-based 0\u20131 Constraint Programming","author":"Barth","year":"1995"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB3","series-title":"Optimization Methods for Logical Inference","author":"Chandru","year":"1999"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB4","author":"Christof"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB5","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BF01942293","article-title":"The maximal covering location problem","volume":"32","author":"Church","year":"1974","journal-title":"Papers of the Regional Science Association"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB6","series-title":"Network and Discrete Location","author":"Daskin","year":"1995"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB7","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF02614317","article-title":"Cluster analysis and mathematical programming","volume":"79","author":"Hansen","year":"1997","journal-title":"Mathematical Programming"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB8","series-title":"Introduction to Operations Research","author":"Hillier","year":"1980"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB9","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1006\/jagm.1998.0964","article-title":"Approximating clique and biclique problems","volume":"29","author":"Hochbaum","year":"1998","journal-title":"Journal on Algorithms"},{"issue":"2","key":"10.1016\/S0377-2217(02)00073-5_BIB10","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/s101070050061","article-title":"Tight representation of logical constraints as cardinality rules","volume":"85","author":"Yan","year":"1999","journal-title":"Mathematical Programming"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB11","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0166-218X(87)90026-6","article-title":"Representability in mixed integer programming 1: Characterization results","volume":"17","author":"Jeroslow","year":"1987","journal-title":"Discrete Applied Mathematics"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB12","article-title":"Logic-based Decision Support: Mixed Integer Model Formulation","volume":"40","author":"Jeroslow","year":"1989"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB13","unstructured":"K. J\u00f6rnsten, Paper presented to the 4th meeting of the EURO Working Group on Locational Analysis, Chios, Greece, 1989"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB14","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1002\/1520-6750(199106)38:3<447::AID-NAV3220380312>3.0.CO;2-0","article-title":"Optimal clustering: A model and method","volume":"38","author":"Klein","year":"1991","journal-title":"Naval Research Logistics"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB15","series-title":"Optimisation en Analyse Ordinale des Donn\u00e9es","author":"Marcotorchino","year":"1979"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB16","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02022101","article-title":"Constructing integer programming models by the predicate calculus","volume":"21","author":"McKinnon","year":"1989","journal-title":"Annals of Operations Research"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB17","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1016\/0377-2217(94)90308-5","article-title":"Tools for reformulating logical forms into zero\u2013one mixed integer programs","volume":"71","author":"Mitra","year":"1994","journal-title":"European Journal of Operational Research"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB18","series-title":"Handw\u00f6rterbuch der Mathematischen Wissenschaften","first-page":"187","article-title":"Zero\u2013one decision problems, GBA Report No 76-29, New York University","author":"Padberg","year":"1976"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB19","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01589101","article-title":"The boolean quadric polytope: Some characteristics, facets, and relatives","volume":"45","author":"Padberg","year":"1989","journal-title":"Mathematical Programming"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB20","series-title":"Combinatorial Optimization. Algorithms and Complexity","author":"Papadimitriou","year":"1982"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB21","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1287\/mnsc.46.3.363.12066","article-title":"Telecommunication node clustering with node compatibility and network survivability requirements","volume":"46","author":"Park","year":"2000","journal-title":"Management Science"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB22","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1111\/j.1538-4632.1970.tb00864.x","article-title":"Central facilities location under an investment constraint","volume":"2","author":"Rojeski","year":"1970","journal-title":"Geographical Analysis"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB23","doi-asserted-by":"crossref","first-page":"1463","DOI":"10.1068\/a181463","article-title":"Optimal clustering","volume":"18","author":"Rosing","year":"1986","journal-title":"Environment and Planning A"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB24","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1057\/jors.1979.192","article-title":"The p-median and its linear programming relaxation: An approach to large problems","volume":"30","author":"Rosing","year":"1979","journal-title":"Journal of the Operational Research Society"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB25","first-page":"25","article-title":"A review of covering problems in facility location","volume":"1","author":"Schilling","year":"1993","journal-title":"Location Science"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB26","series-title":"Foundations of Constraint Satisfaction","author":"Tsang","year":"1993"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB27","series-title":"Constraint Satisfaction in Logic","author":"Van Hentenryck","year":"1989"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB28","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1111\/j.1538-4632.1975.tb01024.x","article-title":"The optimal nodal location of public facilities with price-sensitive demand","volume":"7","author":"Wagner","year":"1975","journal-title":"Geographical Analysis"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB29","series-title":"Model Building in Mathematical Programming","author":"Williams","year":"1990"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB30","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0377-2217(90)90302-R","article-title":"Generating cuts in integer programming with families of specially ordered sets","volume":"46","author":"Wilson","year":"1990","journal-title":"European Journal of Operational Research"},{"key":"10.1016\/S0377-2217(02)00073-5_BIB31","series-title":"Integer Programming","author":"Wolsey","year":"1998"}],"container-title":["European Journal of Operational Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0377221702000735?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0377221702000735?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T15:20:31Z","timestamp":1556378431000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0377221702000735"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["S0377221702000735"],"URL":"https:\/\/doi.org\/10.1016\/s0377-2217(02)00073-5","relation":{},"ISSN":["0377-2217"],"issn-type":[{"value":"0377-2217","type":"print"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}