C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
LoCoCo
2010
2011
2010
2011
Keyphrases
Publications
2011
Martin Gebser
,
Roland Kaminski
,
Torsten Schaub
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
LoCoCo
(2011)
Roberto Di Cosmo
,
Olivier Lhomme
,
Claude Michel
Aligning component upgrades
LoCoCo
(2011)
Gerhard Friedrich
,
Anna Ryabokon
,
Andreas A. Falkner
,
Alois Haselböck
,
Gottfried Schenner
,
Herwig Schreiner
(Re)configuration based on model generation
LoCoCo
(2011)
Markus Aschinger
,
Conrad Drescher
,
Georg Gottlob
Introducing LoCo, a Logic for Configuration Problems
LoCoCo
(2011)
volume 65, 2011
Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011.
LoCoCo
65 (2011)
2010
Andreas Kübler
,
Christoph Zengler
,
Wolfgang Küchlin
Model Counting in Product Configuration
LoCoCo
(2010)
Emmanuel Ohayon
,
Matthieu Lemerre
,
Vincent David
CONFIGEN: A tool for managing configuration options
LoCoCo
(2010)
Josep Argelich
,
Daniel Le Berre
,
Inês Lynce
,
João P. Marques Silva
,
Pascal Rapicault
Solving Linux Upgradeability Problems Using Boolean Optimization
LoCoCo
(2010)
Claude Michel
,
Michel Rueher
Handling software upgradeability problems with MILP solvers
LoCoCo
(2010)
Paulo Trezentos
Comparison of PBO solvers in a dependency solving domain
LoCoCo
(2010)
volume 29, 2010
Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010.
LoCoCo
29 (2010)