|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Martin Gebser, Roland Kaminski, Torsten Schaub |
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![In: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011., pp. 12-25, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Di Cosmo, Olivier Lhomme, Claude Michel |
Aligning component upgrades ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![In: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011., pp. 1-11, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Friedrich, Anna Ryabokon, Andreas A. Falkner, Alois Haselböck, Gottfried Schenner, Herwig Schreiner |
(Re)configuration based on model generation ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![In: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011., pp. 26-35, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Markus Aschinger, Conrad Drescher, Georg Gottlob |
Introducing LoCo, a Logic for Configuration Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![In: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011., pp. 36-45, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Conrad Drescher, Inês Lynce, Ralf Treinen (eds.) |
Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Kübler, Christoph Zengler, Wolfgang Küchlin |
Model Counting in Product Configuration ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![In: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., pp. 44-53, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Ohayon, Matthieu Lemerre, Vincent David |
CONFIGEN: A tool for managing configuration options ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![In: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., pp. 32-43, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Inês Lynce, Ralf Treinen (eds.) |
Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Josep Argelich, Daniel Le Berre, Inês Lynce, João Marques-Silva 0001, Pascal Rapicault |
Solving Linux Upgradeability Problems Using Boolean Optimization ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![In: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., pp. 11-22, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Claude Michel, Michel Rueher |
Handling software upgradeability problems with MILP solvers ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![In: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., pp. 1-10, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Trezentos |
Comparison of PBO solvers in a dependency solving domain ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCoCo ![In: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., pp. 23-31, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|