References

1. 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.
2. aspcud. http://www.cs.uni-potsdam.de/wv/aspcud.
3. C. Baral (2003): Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, doi:10.1017/CBO9780511543357.
4. A. Biere, M. Heule, H. van Maaren & T. Walsh (2009): Handbook of Satisfiability. IOS Press.
5. 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.
6. 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.
7. 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.
8. 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.
9. M. Janota, I. Lynce, J. Marques-Silva & V. Manquinho (2011): PackUp: Tools for Package Upgradability Solving. In: Le Berre & Van Gelder. To appear.
10. D. Le Berre & A. Van Gelder (2011): Proceedings of the Second Workshop on Pragmatics of SAT (PoS'11). To appear.
11. V. Lifschitz, F. van Harmelen & B. Porter (2008): Handbook of Knowledge Representation. Elsevier Science.
12. 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.
13. 9118\p@ plus2\p@ minus4\p@ \z@ plus\p@ 4\p@ plus2\p@ minus2\p@ 2.5\p@ plus1.5\p@ minus\p@ 5\p@ plus2\p@ minus5\p@ 2.5\p@ plus1.5\p@ minus\p@ 4\p@ plus2\p@ minus2\p@ 2\p@ plus\p@ minus\p@ mancoosi — managing software complexity. http://www.mancoosi.org.
14. C. Michel & M. Rueher (2010): Handling Software Upgradeability Problems with MILP Solvers. In: Lynce & Treinen, pp. 1–10, doi:10.4204/EPTCS.29.1.
15. potassco. http://potassco.sourceforge.net.
16. 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.
17. R. Treinen & S. Zacchiroli (2009): Common Upgradability Description Format (CUDF) 2.0. Technical Report 003. mancoosi.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org