EPTCS 65 - LoCoCo 2011
Conrad Drescher, Inês Lynce, Ralf Treinen (Eds.): Proceedings Second Workshop on Logics for Component Configuration. 2011 EPTCS 65 [ contents ]- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team