{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T10:46:14Z","timestamp":1774262774988,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T00:00:00Z","timestamp":1410739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004490","name":"University of Waterloo","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004490","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ontario Research Fund - Research Excellence Project on Model-Based Development"},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["AP 206\/4 AP 206\/5 AP 206\/6 and AP206\/7"],"award-info":[{"award-number":["AP 206\/4 AP 206\/5 AP 206\/6 and AP206\/7"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2642937.2642971","type":"proceedings-article","created":{"date-parts":[[2014,9,17]],"date-time":"2014-09-17T14:22:41Z","timestamp":1410963761000},"page":"409-420","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Scaling exact multi-objective combinatorial optimization by parallelization"],"prefix":"10.1145","author":[{"given":"Jianmei","family":"Guo","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}]},{"given":"Edward","family":"Zulkoski","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}]},{"given":"Rafael","family":"Olaechea","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}]},{"given":"Derek","family":"Rayside","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}]},{"given":"Sven","family":"Apel","sequence":"additional","affiliation":[{"name":"University of Passau, Passau, Germany"}]},{"given":"Joanne M.","family":"Atlee","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.64"},{"key":"e_1_3_2_1_2_1","volume-title":"Benjamin-Cummings","author":"Almasi G.","year":"1989","unstructured":"G. Almasi and A. Gottlieb . Highly Parallel Computing . Benjamin-Cummings , 1989 . G. Almasi and A. Gottlieb. Highly Parallel Computing. Benjamin-Cummings, 1989."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/862270"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/937503.937505"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2004.1331135"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646452.692956"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2013.07.023"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11218-8_1"},{"key":"e_1_3_2_1_11_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. Eisenecker . Generative Programming: Methods, Tools, and Applications . Addison-Wesley , 2000 . K. Czarnecki and U. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2008.12.034"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486795"},{"key":"e_1_3_2_1_15_1","first-page":"136","volume-title":"Proc. ECAI","author":"Gavanelli M.","year":"2003","unstructured":"M. Gavanelli . An Algorithm for Multi-Criteria Optimization in CSPs . In Proc. ECAI , pages 136 -- 140 . IOS, 2003 . M. Gavanelli. An Algorithm for Multi-Criteria Optimization in CSPs. In Proc. ECAI, pages 136--140. IOS, 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693089"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.06.026"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1162\/EVCO_a_00053"},{"issue":"2","key":"e_1_3_2_1_19_1","first-page":"99","volume":"34","author":"Hamadi Y.","year":"2013","unstructured":"Y. Hamadi and C. M. Wintersteiger . Seven Challenges in Parallel SAT Solving. AI Magazine , 34 ( 2 ): 99 -- 106 , 2013 . Y. Hamadi and C. M. Wintersteiger. Seven Challenges in Parallel SAT Solving. AI Magazine, 34(2):99--106, 2013.","journal-title":"Seven Challenges in Parallel SAT Solving. AI Magazine"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.29"},{"key":"e_1_3_2_1_21_1","volume-title":"Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. Technical report","author":"Harman M.","year":"2009","unstructured":"M. Harman , S. Mansouri , and Y. Zhang . Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. Technical report , King's College London TR- 09-03, 2009 . M. Harman, S. Mansouri, and Y. Zhang. Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. Technical report, King's College London TR-09-03, 2009."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1139\/L10-134"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491635"},{"key":"e_1_3_2_1_24_1","volume-title":"MIT","author":"Jackson D.","year":"2006","unstructured":"D. Jackson . Software Abstractions : Logic, Language, and Analysis . MIT , 2006 . D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT, 2006."},{"key":"e_1_3_2_1_25_1","volume-title":"Multi-Objective Design Optimization of Electric Vehicle Battery Cooling Plates Considering Thermal and Pressure Objective Functions. Master thesis","author":"Jarrett A.","year":"2011","unstructured":"A. Jarrett . Multi-Objective Design Optimization of Electric Vehicle Battery Cooling Plates Considering Thermal and Pressure Objective Functions. Master thesis , Queen University , 2011 . A. Jarrett. Multi-Objective Design Optimization of Electric Vehicle Battery Cooling Plates Considering Thermal and Pressure Objective Functions. Master thesis, Queen University, 2011."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250759"},{"issue":"3","key":"e_1_3_2_1_28_1","first-page":"497","volume":"28","author":"Land A.","year":"1960","unstructured":"A. Land and A. Doig . An Automatic Method of Solving Discrete Programming Problems. Econometrica , 28 ( 3 ): 497 -- 520 , 1960 . A. Land and A. Doig. An Automatic Method of Solving Discrete Programming Problems. Econometrica, 28(3):497--520, 1960.","journal-title":"An Automatic Method of Solving Discrete Programming Problems. Econometrica"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1768142.1768151"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640002"},{"key":"e_1_3_2_1_32_1","volume-title":"Master thesis","author":"Olaechea R.","year":"2013","unstructured":"R. Olaechea . Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines . Master thesis , University of Waterloo , 2013 . R. Olaechea. Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines. Master thesis, University of Waterloo, 2013."},{"key":"e_1_3_2_1_33_1","volume-title":"General Purpose, Many-Objective Combinatorial Optimization. Technical report, MIT-CSAIL-TR-2009-033","author":"Rayside D.","year":"2009","unstructured":"D. Rayside , H.-C. Estler , and D. Jackson . A Guided Improvement Algorithm for Exact , General Purpose, Many-Objective Combinatorial Optimization. Technical report, MIT-CSAIL-TR-2009-033 , 2009 . D. Rayside, H.-C. Estler, and D. Jackson. A Guided Improvement Algorithm for Exact, General Purpose, Many-Objective Combinatorial Optimization. Technical report, MIT-CSAIL-TR-2009-033, 2009."},{"key":"e_1_3_2_1_34_1","volume-title":"SAE 2013-24-0082","author":"Ribau J.","year":"2013","unstructured":"J. Ribau , J. Sousa , and C. Silva . Multi-Objective Optimization of Fuel Cell Hybrid Vehicle Powertrain Design - Cost and Energy. Technical report , SAE 2013-24-0082 , 2013 . J. Ribau, J. Sousa, and C. Silva. Multi-Objective Optimization of Fuel Cell Hybrid Vehicle Powertrain Design - Cost and Energy. Technical report, SAE 2013-24-0082, 2013."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2427376.2427384"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693104"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486853"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337243"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88908-3_13"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_38"},{"key":"e_1_3_2_1_41_1","volume-title":"Foundations of Constraint Satisfaction","author":"Tsang E.","year":"1993","unstructured":"E. Tsang . Foundations of Constraint Satisfaction . Academic , 1993 . E. Tsang. Foundations of Constraint Satisfaction. Academic, 1993."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351703"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2240687"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273483"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1162\/106365600568202"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.797969"}],"event":{"name":"ASE '14: ACM\/IEEE International Conference on Automated Software Engineering","location":"Vasteras Sweden","acronym":"ASE '14","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","M\u00e4lardalen University M\u00e4lardalen University","IEEE CS"]},"container-title":["Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2642971","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2642937.2642971","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:09Z","timestamp":1750229769000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2642971"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":46,"alternative-id":["10.1145\/2642937.2642971","10.1145\/2642937"],"URL":"https:\/\/doi.org\/10.1145\/2642937.2642971","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}