{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T07:05:19Z","timestamp":1693465519842},"reference-count":14,"publisher":"Institute for Operations Research and the Management Sciences (INFORMS)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["INFORMS Journal on Computing"],"published-print":{"date-parts":[[2014,5]]},"abstract":" Proportional symbol maps are a cartographic tool to assist in the visualization and analysis of quantitative data associated with specific locations, such as earthquake magnitudes, oil well production, and temperature at weather stations. As the name suggests, symbol sizes are proportional to the magnitude of the physical quantities that they represent. We present two novel integer linear programming (ILP) models to solve this computational geometry problem: how to draw opaque disks on a map so as to maximize the total visible border of all disks. We focus on drawings obtained by layering symbols on top of each other, also known as stacking drawings. We introduce decomposition techniques as well as several families of facet-defining inequalities, which are used to strengthen the ILP models that are supplied to a commercial solver. We demonstrate the effectiveness of our approach through a series of computational experiments using hundreds of instances generated from real demographic and geophysical data sets. To the best of our knowledge, we are the first to use ILP to tackle this problem, and the first to provide provably optimal symbol maps for those data sets. <\/jats:p>","DOI":"10.1287\/ijoc.2013.0557","type":"journal-article","created":{"date-parts":[[2013,8,17]],"date-time":"2013-08-17T04:01:12Z","timestamp":1376712072000},"page":"199-207","source":"Crossref","is-referenced-by-count":3,"title":["Optimizing the Layout of Proportional Symbol Maps: Polyhedra and Computation"],"prefix":"10.1287","volume":"26","author":[{"given":"Guilherme","family":"Kunigami","sequence":"first","affiliation":[{"name":"Institute of Computing, University of Campinas, Campinas, SP 13083-852, Brazil"}]},{"given":"Pedro J. de","family":"Rezende","sequence":"additional","affiliation":[{"name":"Institute of Computing, University of Campinas, Campinas, SP 13083-852, Brazil"}]},{"given":"Cid C. de","family":"Souza","sequence":"additional","affiliation":[{"name":"Institute of Computing, University of Campinas, Campinas, SP 13083-852, Brazil"}]},{"given":"Tallys","family":"Yunes","sequence":"additional","affiliation":[{"name":"School of Business Administration, University of Miami, Coral Gables, Florida 33124"}]}],"member":"109","reference":[{"key":"B1","doi-asserted-by":"publisher","DOI":"10.1007\/11841036_64"},{"key":"B2","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-009-9281-8"},{"key":"B3","volume-title":"Cartography\u2014Thematic Map Design","author":"Dent B","year":"1999","edition":"5"},{"key":"B4","volume-title":"Xpress Optimizer Reference Manual","author":"Fair Isaac Corporation","year":"2009"},{"key":"B5","volume-title":"Computers and Intractability","author":"Garey MR","year":"1979"},{"key":"B6","doi-asserted-by":"publisher","DOI":"10.1080\/00690805.1990.10438484"},{"key":"B7","volume-title":"Proc. Second Internat. Network Optim. Conf. (INOC)","author":"Gupta R","year":"2005"},{"key":"B8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21931-3_1"},{"key":"B9","doi-asserted-by":"publisher","DOI":"10.1007\/BF02592097"},{"key":"B10","doi-asserted-by":"publisher","DOI":"10.1057\/jors.1992.71"},{"key":"B12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01580121"},{"key":"B13","volume-title":"Thematic Cartography and Geographic Visualization","author":"Slocum TA","year":"2003","edition":"2"},{"key":"B14","doi-asserted-by":"publisher","DOI":"10.1016\/j.comgeo.2006.11.007"},{"key":"B15","volume-title":"Introduction to Graph Theory","author":"West D","year":"2001","edition":"2"}],"container-title":["INFORMS Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/pubsonline.informs.org\/doi\/pdf\/10.1287\/ijoc.2013.0557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,2]],"date-time":"2023-04-02T21:00:24Z","timestamp":1680469224000},"score":1,"resource":{"primary":{"URL":"https:\/\/pubsonline.informs.org\/doi\/10.1287\/ijoc.2013.0557"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,5]]}},"alternative-id":["10.1287\/ijoc.2013.0557"],"URL":"https:\/\/doi.org\/10.1287\/ijoc.2013.0557","relation":{},"ISSN":["1091-9856","1526-5528"],"issn-type":[{"value":"1091-9856","type":"print"},{"value":"1526-5528","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5]]}}}