{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:46Z","timestamp":1750307146711,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,20]],"date-time":"2011-06-20T00:00:00Z","timestamp":1308528000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,20]]},"DOI":"10.1145\/2000229.2000255","type":"proceedings-article","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T17:34:50Z","timestamp":1309282490000},"page":"179-188","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["MPM"],"prefix":"10.1145","author":[{"given":"Pietro","family":"Abate","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris Diderot, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"DiCosmo","sequence":"additional","affiliation":[{"name":"INRIA, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Treinen","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Diderot, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Zacchiroli","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Diderot, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Mancoosi Project","author":"Abate P.","year":"2010","unstructured":"P. Abate , A. Guerreiro , S. Lauri\u00e8re , R. Treinen , and S. Zacchiroli . Extension of an existing package manager to produce traces of ugradeability problems in CUDF format. Deliverable D5.2 , The Mancoosi Project , Aug. 2010 . http:\/\/www.mancoosi.org\/reports\/d5.2.pdf. P. Abate, A. Guerreiro, S. Lauri\u00e8re, R. Treinen, and S. Zacchiroli. Extension of an existing package manager to produce traces of ugradeability problems in CUDF format. Deliverable D5.2, The Mancoosi Project, Aug. 2010. http:\/\/www.mancoosi.org\/reports\/d5.2.pdf."},{"key":"e_1_3_2_1_2_1","first-page":"11","volume-title":"Lynce and Treinen {11}","author":"Argelich J.","unstructured":"J. Argelich , D. L. Berre , I. Lynce , J. Marques-Silva , and P. Rapicault . Solving Linux upgradeability problems using Boolean optimization . In Lynce and Treinen {11} , pages 11 -- 22 . http:\/\/arxiv.org\/abs\/1007.1021v1. J. Argelich, D. L. Berre, I. Lynce, J. Marques-Silva, and P. Rapicault. Solving Linux upgradeability problems using Boolean optimization. In Lynce and Treinen {11}, pages 11--22. http:\/\/arxiv.org\/abs\/1007.1021v1."},{"key":"e_1_3_2_1_3_1","volume-title":"12th International Conference on Software Product Lines, Second","volume":"200","author":"Berre D. L.","year":"2008","unstructured":"D. L. Berre and A. Parrain . On SAT technologies for dependency management and beyond. In S. Thiel and K. Pohl, editors , 12th International Conference on Software Product Lines, Second Volume (Workshops), pages 197-- 200 , Limerick, Ireland , Sept. 2008 . Lero Int. Science Centre, University of Limerick, Ireland. D. L. Berre and A. Parrain. On SAT technologies for dependency management and beyond. In S. Thiel and K. Pohl, editors, 12th International Conference on Software Product Lines, Second Volume (Workshops), pages 197--200, Limerick, Ireland, Sept. 2008. Lero Int. Science Centre, University of Limerick, Ireland."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595800.1595805"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13238-4_11"},{"key":"e_1_3_2_1_9_1","unstructured":"J. A. Klode. RFC: The future of solving dependency problems in APT (SAT CUDF). http:\/\/lists.debian.org\/deity\/2010\/12\/msg00053.html.  J. A. Klode. RFC: The future of solving dependency problems in APT (SAT CUDF). http:\/\/lists.debian.org\/deity\/2010\/12\/msg00053.html."},{"volume-title":"http:\/\/en.opensuse.org\/Portal:Libzypp","year":"2011","key":"e_1_3_2_1_10_1","unstructured":"Libzypp library. http:\/\/en.opensuse.org\/Portal:Libzypp , 2011 . Libzypp library. http:\/\/en.opensuse.org\/Portal:Libzypp, 2011."},{"key":"e_1_3_2_1_11_1","series-title":"EPTCS","volume-title":"1st International Workshop on Logics for Component Configuration","author":"Lynce I.","year":"2010","unstructured":"I. Lynce and R. Treinen , editors . Proc . 1st International Workshop on Logics for Component Configuration , volume 29 of EPTCS , 2010 . I. Lynce and R. Treinen, editors. Proc. 1st International Workshop on Logics for Component Configuration, volume 29 of EPTCS, 2010."},{"key":"e_1_3_2_1_12_1","unstructured":"E. V. Lyubimkin. Cupt package manager 2010. http:\/\/wiki.debian.org\/Cupt.  E. V. Lyubimkin. Cupt package manager 2010. http:\/\/wiki.debian.org\/Cupt."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.49"},{"volume-title":"Mancoosi international solver competition","year":"2010","key":"e_1_3_2_1_14_1","unstructured":"Mancoosi. Mancoosi international solver competition 2010 . http:\/\/www.mancoosi.org\/misc-2010\/, July 2010. Mancoosi. Mancoosi international solver competition 2010. http:\/\/www.mancoosi.org\/misc-2010\/, July 2010."},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"Lynce and Treinen {11}","author":"Michel C.","unstructured":"C. Michel and M. Rueher . Handling software upgradeability problems with MILP solvers . In Lynce and Treinen {11} , pages 1 -- 10 . http:\/\/arxiv.org\/abs\/1007.1020v1. C. Michel and M. Rueher. Handling software upgradeability problems with MILP solvers. In Lynce and Treinen {11}, pages 1--10. http:\/\/arxiv.org\/abs\/1007.1020v1."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859087"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.59"},{"volume-title":"http:\/\/en.opensuse.org\/Package_management","year":"2011","key":"e_1_3_2_1_19_1","unstructured":"Yast. http:\/\/en.opensuse.org\/Package_management , 2011 . Yast. http:\/\/en.opensuse.org\/Package_management, 2011."}],"event":{"name":"Comparch '11: Federated Events on Component-Based Software Engineering and Software Architecture","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Boulder Colorado USA","acronym":"Comparch '11"},"container-title":["Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000229.2000255","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2000229.2000255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:09Z","timestamp":1750240449000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000229.2000255"}},"subtitle":["a modular package manager"],"short-title":[],"issued":{"date-parts":[[2011,6,20]]},"references-count":15,"alternative-id":["10.1145\/2000229.2000255","10.1145\/2000229"],"URL":"https:\/\/doi.org\/10.1145\/2000229.2000255","relation":{},"subject":[],"published":{"date-parts":[[2011,6,20]]},"assertion":[{"value":"2011-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}