J. Argelich, D. Le Berre, I. Lynce, J. Marques-Silva & P. Rapicault (2010):
Solving Linux Upgradeability Problems Using Boolean Optimization.
In: Lynce & Treinen,
pp. 11–22,
doi:10.4204/EPTCS.29.2.
aspcud.
http://www.cs.uni-potsdam.de/wv/aspcud.
C. Baral (2003):
Knowledge Representation, Reasoning and Declarative Problem Solving.
Cambridge University Press,
doi:10.1017/CBO9780511543357.
A. Biere, M. Heule, H. van Maaren & T. Walsh (2009):
Handbook of Satisfiability.
IOS Press.
M. Gebser, R. Kaminski, B. Kaufmann & T. Schaub (2011):
Multi-Criteria Optimization in Answer Set Programming.
In: J. Gallagher & M. Gelfond: Technical Communications of the Twenty-seventh International Conference on Logic Programming (ICLP'11).
Leibniz International Proceedings in Informatics,
pp. 1–10,
doi:10.4230/LIPIcs.ICLP.2011.1.
M. Gebser, R. Kaminski, B. Kaufmann & T. Schaub (2011):
Multi-Criteria Optimization in ASP and its Application to Linux Package Configuration.
In: Le Berre & Van Gelder.
To appear.
M. Gebser, R. Kaminski, A. König & T. Schaub (2011):
Advances in Gringo Series 3.
In: J. Delgrande & W. Faber: Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11).
Springer,
pp. 345–351,
doi:10.1007/978-3-642-20895-9_39.
M. Gebser, B. Kaufmann, A. Neumann & T. Schaub (2007):
Conflict-Driven Answer Set Solving.
In: M. Veloso: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07).
AAAI Press/The MIT Press,
pp. 386–392.
M. Janota, I. Lynce, J. Marques-Silva & V. Manquinho (2011):
PackUp: Tools for Package Upgradability Solving.
In: Le Berre & Van Gelder.
To appear.
D. Le Berre & A. Van Gelder (2011):
Proceedings of the Second Workshop on Pragmatics of SAT (PoS'11).
To appear.
V. Lifschitz, F. van Harmelen & B. Porter (2008):
Handbook of Knowledge Representation.
Elsevier Science.
I. Lynce & R. Treinen (2010):
Proceedings of the First International Workshop on Logics for Component Configuration (LoCoCo'10).
Electronic Proceedings in Theoretical Computer Science (EPTCS) 29,
doi:10.4204/EPTCS.29.
C. Michel & M. Rueher (2010):
Handling Software Upgradeability Problems with MILP Solvers.
In: Lynce & Treinen,
pp. 1–10,
doi:10.4204/EPTCS.29.1.
potassco.
http://potassco.sourceforge.net.
T. Syrjänen (2000):
Including Diagnostic Information in Configuration Models.
In: J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, L. Pereira, Y. Sagiv & P. Stuckey: Proceedings of the First International Conference on Computational Logic (CL'00).
Springer,
pp. 837–851,
doi:10.1007/3-540-44957-4_56.
R. Treinen & S. Zacchiroli (2009):
Common Upgradability Description Format (CUDF) 2.0.
Technical Report 003.
mancoosi.