{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:09:58Z","timestamp":1763467798734,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1109\/icse.2007.59","type":"proceedings-article","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T21:12:04Z","timestamp":1181250724000},"page":"178-188","source":"Crossref","is-referenced-by-count":52,"title":["OPIUM: Optimal Package Install\/Uninstall Manager"],"prefix":"10.1109","author":[{"given":"Chris","family":"Tucker","sequence":"first","affiliation":[]},{"given":"David","family":"Shuffelton","sequence":"additional","affiliation":[]},{"given":"Ranjit","family":"Jhala","sequence":"additional","affiliation":[]},{"given":"Sorin","family":"Lerner","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"10880","article-title":"Validating sat solvers using an independent resolution-based checker: Practical implementations and other applications","author":"zhang","year":"2003","journal-title":"Design Automation and Test in Europe DATE-05"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1145\/288408.288441"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/ASE.2002.1115020"},{"key":"13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.3233\/SAT190020","article-title":"Pueblo: A hybrid pseudoboolean sat solver","volume":"2","author":"sheini","year":"2006","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"year":"2005","author":"silva","journal-title":"APT Howto","key":"14"},{"key":"11","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/978-3-540-24730-2_2","article-title":"An interpolating theorem prover","author":"mcmillan","year":"2004","journal-title":"Tools and Algorithms for Construction and Analysis of Systems"},{"year":"2006","author":"niemeyer","journal-title":"Smart package manager","key":"12"},{"year":"0","journal-title":"GLPK (GNU Linear Programming Kit)","key":"3"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/ASE.2006.49"},{"key":"7","article-title":"Extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution","author":"gelder","year":"2002","journal-title":"7 International Symposium on Artificial Intelligence"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1145\/512557.512558"},{"key":"5","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1109\/ICSE.2002.1007967","article-title":"ArchJava: Connecting Software Architecture to Implementation","author":"jonathan aldrich","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"year":"0","author":"yum","journal-title":"Yellow dog Updater Modified","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1145\/800055.802036"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1007\/BF02186368"}],"event":{"name":"29th International Conference on Software Engineering (ICSE'07)","start":{"date-parts":[[2007,5,20]]},"location":"Minneapolis, MN","end":{"date-parts":[[2007,5,26]]}},"container-title":["29th International Conference on Software Engineering (ICSE'07)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4222553\/4222554\/04222580.pdf?arnumber=4222580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T21:42:04Z","timestamp":1587591724000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4222580\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icse.2007.59","relation":{},"subject":[],"published":{"date-parts":[[2007,5]]}}}