{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:05Z","timestamp":1750307465057,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T00:00:00Z","timestamp":1284940800000},"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":[[2010,9,20]]},"DOI":"10.1145\/1858996.1859087","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T12:04:33Z","timestamp":1285157073000},"page":"427-436","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Apt-pbo"],"prefix":"10.1145","author":[{"given":"Paulo","family":"Trezentos","sequence":"first","affiliation":[{"name":"ISCTE\/ADETTI\/Caixa Magica, Lisbon, Portugal"}]},{"given":"In\u00eas","family":"Lynce","sequence":"additional","affiliation":[{"name":"INESC-ID\/IST\/TU Lisbon, Lisbon, Portugal"}]},{"given":"Arlindo L.","family":"Oliveira","sequence":"additional","affiliation":[{"name":"INESC-ID\/IST\/TU Lisbon, Lisbon, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72590-9_29"},{"key":"e_1_3_2_1_3_1","volume-title":"International SAT 2009 competition, 2009","author":"Berre D. L.","year":"2009","unstructured":"}} D. L. Berre , O. Roussel , and L. Simon . International SAT 2009 competition, 2009 . http:\/\/www.satcompetition.org\/ 2009 \/. }}D. L. Berre, O. Roussel, and L. Simon. International SAT 2009 competition, 2009. http:\/\/www.satcompetition.org\/2009\/."},{"key":"e_1_3_2_1_4_1","volume-title":"NETObjectDays'03","author":"Bixin L.","year":"2003","unstructured":"}} L. Bixin . Managing dependencies in component-based systems based on matrix model . In NETObjectDays'03 , 2003 . }}L. Bixin. Managing dependencies in component-based systems based on matrix model. In NETObjectDays'03, 2003."},{"key":"e_1_3_2_1_5_1","volume-title":"Modelling and resolving software dependencies","author":"Burrows D.","year":"2005","unstructured":"}} D. Burrows . Modelling and resolving software dependencies , 2005 . Debian . }}D. Burrows. Modelling and resolving software dependencies, 2005. Debian."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595800.1595803"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190014"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Economics and Mathematical Systems","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-22199-0","volume-title":"Multicriteria optimization","author":"Ehrgott M.","year":"2000","unstructured":"}} M. Ehrgott . Multicriteria optimization . Lecture Notes in Economics and Mathematical Systems . Springer-Verlag , 2000 . }}M. Ehrgott. Multicriteria optimization. Lecture Notes in Economics and Mathematical Systems. Springer-Verlag, 2000."},{"key":"e_1_3_2_1_9_1","volume-title":"OR Spektrum","author":"Ehrgott M.","year":"2000","unstructured":"}} M. Ehrgott and X. Gandibleux . A survey and annoted bibliography of multiobjective combinatorial optimization . OR Spektrum , 2000 . }}M. Ehrgott and X. Gandibleux. A survey and annoted bibliography of multiobjective combinatorial optimization. OR Spektrum, 2000."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of International FLAIRS Conference","author":"Heras F.","year":"2008","unstructured":"}} F. Heras , V. Manquinho , and J. Marques-Silva . On applying unit propagation-based lower bounds in pseudo-Boolean optimization . In Proceedings of International FLAIRS Conference , 2008 . }}F. Heras, V. Manquinho, and J. Marques-Silva. On applying unit propagation-based lower bounds in pseudo-Boolean optimization. In Proceedings of International FLAIRS Conference, 2008."},{"key":"e_1_3_2_1_11_1","volume-title":"Computer Science Department","author":"LaBelle N.","year":"2004","unstructured":"}} N. LaBelle and E. Wallingford . Inter-package dependency networks in open-source software. Technical report , Computer Science Department , University of Northern Iowa , 2004 . }}N. LaBelle and E. Wallingford. Inter-package dependency networks in open-source software. Technical report, Computer Science Department, University of Northern Iowa, 2004."},{"key":"e_1_3_2_1_12_1","volume-title":"ASPL","author":"Le Berre D.","year":"2008","unstructured":"}} D. Le Berre and A. Parrain . On SAT technologies for dependency management and beyond . ASPL , 2008 . }}D. Le Berre and A. Parrain. On SAT technologies for dependency management and beyond. ASPL, 2008."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595800.1595805"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.49"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273473"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_45"},{"key":"e_1_3_2_1_17_1","volume-title":"PBO competition","author":"Manquinho V.","year":"2009","unstructured":"}} V. Manquinho and O. Roussel . PBO competition 2009 , 2009. http:\/\/www.cril.univ-artois.fr\/PB09\/. }}V. Manquinho and O. Roussel. PBO competition 2009, 2009. http:\/\/www.cril.univ-artois.fr\/PB09\/."},{"key":"e_1_3_2_1_18_1","volume-title":"UC Louvain","author":"Mouthuy S.","year":"2006","unstructured":"}} S. Mouthuy , L. Quesada , and G. Doom . Search heuristics and optimisations to solve package installability problems by constraint programming. Technical report, Department of CSE , UC Louvain , October 2006 . }}S. Mouthuy, L. Quesada, and G. Doom. Search heuristics and optimisations to solve package installability problems by constraint programming. Technical report, Department of CSE, UC Louvain, October 2006."},{"key":"e_1_3_2_1_19_1","volume-title":"Smart package manager","author":"Niemeyer G.","year":"2009","unstructured":"}} G. Niemeyer . Smart package manager , 2009 . http:\/\/labix.org\/smart. }}G. Niemeyer. Smart package manager, 2009. http:\/\/labix.org\/smart."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2009.5316017"},{"key":"e_1_3_2_1_21_1","volume-title":"project. Debian popularity contest","author":"D.","year":"2009","unstructured":"}} D. project. Debian popularity contest , 2009 . http:\/\/popcon.debian.org\/. }}D. project. Debian popularity contest, 2009. http:\/\/popcon.debian.org\/."},{"key":"e_1_3_2_1_22_1","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"695","volume-title":"Handbook of Satisfiability","author":"Roussel O.","year":"2009","unstructured":"}} O. Roussel and V. M. Manquinho . Pseudo-Boolean and cardinality constraints . In A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors, Handbook of Satisfiability , volume 185 of Frontiers in Artificial Intelligence and Applications , pages 695 -- 733 . IOS Press , 2009 . }}O. Roussel and V. M. Manquinho. Pseudo-Boolean and cardinality constraints. In A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors, Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, pages 695--733. IOS Press, 2009."},{"key":"e_1_3_2_1_23_1","first-page":"2006","article-title":"Pueblo: A hybrid pseudo-boolean sat solver. Journal on Satisfiability","volume":"2","author":"Sheini H. M.","year":"2006","unstructured":"}} H. M. Sheini and K. A. Sakallah . Pueblo: A hybrid pseudo-boolean sat solver. Journal on Satisfiability , Boolean Modeling and Computation , 2 : 2006 , 2006 . }}H. M. Sheini and K. A. Sakallah. Pueblo: A hybrid pseudo-boolean sat solver. Journal on Satisfiability, Boolean Modeling and Computation, 2:2006, 2006.","journal-title":"Boolean Modeling and Computation"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/288408.288441"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595800.1595806"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"}}P. Trezentos. Apt-pbo homepage 2009. http:\/\/aptpbo.caixamagica.pt\/.  }}P. Trezentos. Apt-pbo homepage 2009. http:\/\/aptpbo.caixamagica.pt\/.","DOI":"10.1145\/1858996.1859087"},{"key":"e_1_3_2_1_27_1","volume-title":"New Generation of Linux Meta-installers. Research Track of FOSDEM 2007","author":"Trezentos P.","year":"2007","unstructured":"}} P. Trezentos , R. Di Cosmo , L. Lauri\u00e9re , M. Morgado , J. Abecasis , F. Mancinelli , and A. Oliveira . New Generation of Linux Meta-installers. Research Track of FOSDEM 2007 , 2007 . }}P. Trezentos, R. Di Cosmo, L. Lauri\u00e9re, M. Morgado, J. Abecasis, F. Mancinelli, and A. Oliveira. New Generation of Linux Meta-installers. Research Track of FOSDEM 2007, 2007."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.59"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787021"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390640"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1490283.1490292"}],"event":{"name":"ASE10: IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Antwerp Belgium","acronym":"ASE10"},"container-title":["Proceedings of the IEEE\/ACM international conference on Automated software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1858996.1859087","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1858996.1859087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:31Z","timestamp":1750248511000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1858996.1859087"}},"subtitle":["solving the software dependency problem using pseudo-boolean optimization"],"short-title":[],"issued":{"date-parts":[[2010,9,20]]},"references-count":30,"alternative-id":["10.1145\/1858996.1859087","10.1145\/1858996"],"URL":"https:\/\/doi.org\/10.1145\/1858996.1859087","relation":{},"subject":[],"published":{"date-parts":[[2010,9,20]]},"assertion":[{"value":"2010-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}