@inproceedings(arbelymara10a,
 author       = "J. Argelich and D. {Le Berre} and I. Lynce and J. Marques-Silva and P. Rapicault",
 year         = "2010",
 title        = "Solving {L}inux Upgradeability Problems Using {B}oolean Optimization",
 editor       = "Lynce and Treinen",
 pages        = "11--22",
 doi          = "10.4204/EPTCS.29.2",
)
@misc(aspcud,
 title        = "aspcud",
 howpublished = "\texttt {http://www.cs.uni-potsdam.de/wv/aspcud}",
)
@book(baral02a,
 author       = "C. Baral",
 year         = "2003",
 title        = "Knowledge Representation, Reasoning and Declarative Problem Solving",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511543357",
)
@book(SATHandbook,
 editor       = "A. Biere and M. Heule and H. {van Maaren} and T. Walsh",
 year         = "2009",
 title        = "Handbook of Satisfiability",
 publisher    = "IOS Press",
)
@inproceedings(gekakasc11b,
 author       = "M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub",
 year         = "2011",
 title        = "Multi-Criteria Optimization in Answer Set Programming",
 editor       = "J. Gallagher and M. Gelfond",
 booktitle    = "Technical Communications of the Twenty-seventh International Conference on Logic Programming (ICLP'11)",
 publisher    = "Leibniz International Proceedings in Informatics",
 pages        = "1--10",
 doi          = "10.4230/LIPIcs.ICLP.2011.1",
)
@inproceedings(gekakasc11c,
 author       = "M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub",
 year         = "2011",
 title        = "Multi-Criteria Optimization in {ASP} and its Application to Linux Package Configuration",
 editor       = "{Le Berre} and {Van Gelder}",
 note         = "To appear",
)
@inproceedings(gekakosc11a,
 author       = "M. Gebser and R. Kaminski and A. K{\"o}nig and T. Schaub",
 year         = "2011",
 title        = "Advances in \textit {Gringo} Series 3",
 editor       = "J. Delgrande and W. Faber",
 booktitle    = "Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11)",
 publisher    = "Springer",
 pages        = "345--351",
 doi          = "10.1007/978-3-642-20895-9\_39",
)
@inproceedings(gekanesc07a,
 author       = "M. Gebser and B. Kaufmann and A. Neumann and T. Schaub",
 year         = "2007",
 title        = "Conflict-Driven Answer Set Solving",
 editor       = "M. Veloso",
 booktitle    = "Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)",
 publisher    = "AAAI Press/The MIT Press",
 pages        = "386--392",
)
@inproceedings(jalymama11a,
 author       = "M. Janota and I. Lynce and J. Marques-Silva and V. Manquinho",
 year         = "2011",
 title        = "PackUp: Tools for Package Upgradability Solving",
 editor       = "{Le Berre} and {Van Gelder}",
 note         = "To appear",
)
@proceedings(pos11a,
 editor       = "D. {Le Berre} and A. {Van Gelder}",
 year         = "2011",
 title        = "Proceedings of the Second Workshop on Pragmatics of SAT (PoS'11)",
 note         = "To appear",
)
@book(KRHandbook,
 editor       = "V. Lifschitz and F. {van Harmelen} and B. Porter",
 year         = "2008",
 title        = "Handbook of Knowledge Representation",
 publisher    = "Elsevier Science",
)
@proceedings(lococo10,
 editor       = "I. Lynce and R. Treinen",
 year         = "2010",
 title        = "Proceedings of the First International Workshop on Logics for Component Configuration (LoCoCo'10)",
 series       = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",
 volume       = "29",
 doi          = "10.4204/EPTCS.29",
)
@misc(mancoosi,
 title        = "\textsf {\relax \fontsize {9}{11}\selectfont \abovedisplayskip 8\p@ plus2\p@ minus4\p@ \abovedisplayshortskip \z@ plus\p@ \belowdisplayshortskip 4\p@ plus2\p@ minus2\p@ \def \leftmargin \leftmargini \parsep 2.5\p@ plus1.5\p@ minus\p@ \topsep 5\p@ plus2\p@ minus5\p@ \itemsep 2.5\p@ plus1.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 4\p@ plus2\p@ minus2\p@ \parsep 2\p@ plus\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip \textup {mancoosi}} --- managing software complexity",
 howpublished = "\texttt {http://www.mancoosi.org}",
)
@inproceedings(micrue10a,
 author       = "C. Michel and M. Rueher",
 year         = "2010",
 title        = "Handling Software Upgradeability Problems with {MILP} Solvers",
 editor       = "Lynce and Treinen",
 pages        = "1--10",
 doi          = "10.4204/EPTCS.29.1",
)
@misc(potassco,
 title        = "potassco",
 howpublished = "\texttt {http://potassco.sourceforge.net}",
)
@inproceedings(syrjanen00a,
 author       = "T. Syrj{\"a}nen",
 year         = "2000",
 title        = "Including Diagnostic Information in Configuration Models",
 editor       = "J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K. Lau and C. Palamidessi and L. Pereira and Y. Sagiv and P. Stuckey",
 booktitle    = "Proceedings of the First International Conference on Computational Logic (CL'00)",
 publisher    = "Springer",
 pages        = "837--851",
 doi          = "10.1007/3-540-44957-4\_56",
)
@techreport(trezac09a,
 author       = "R. Treinen and S. Zacchiroli",
 year         = "2009",
 title        = "Common Upgradability Description Format ({CUDF}) 2.0",
 type         = "Technical Report",
 number       = "003",
 institution  = "\cite {mancoosi}",
)