default search action
2nd LoCoCo 2011: Perugia, Italy
- Conrad Drescher, Inês Lynce, Ralf Treinen:
Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011. EPTCS 65, 2011 - Roberto Di Cosmo, Olivier Lhomme, Claude Michel:
Aligning component upgrades. 1-11 - Martin Gebser, Roland Kaminski, Torsten Schaub:
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming. 12-25 - Gerhard Friedrich, Anna Ryabokon, Andreas A. Falkner, Alois Haselböck, Gottfried Schenner, Herwig Schreiner:
(Re)configuration based on model generation. 26-35 - Markus Aschinger, Conrad Drescher, Georg Gottlob:
Introducing LoCo, a Logic for Configuration Problems. 36-45
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.