The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "LoCoCo"( http://dblp.L3S.de/Venues/LoCoCo )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2010 (6) 2011 (5)
Publication types (Num. hits)
inproceedings(9) proceedings(2)
Venues (Conferences, Journals, ...)
LoCoCo(11)
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
1Martin Gebser, Roland Kaminski, Torsten Schaub aspcud: A Linux Package Configuration Tool Based on Answer Set Programming Search on Bibsonomy LoCoCo The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Olivier Lhomme, Claude Michel Aligning component upgrades Search on Bibsonomy LoCoCo The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerhard Friedrich, Anna Ryabokon, Andreas A. Falkner, Alois Haselböck, Gottfried Schenner, Herwig Schreiner (Re)configuration based on model generation Search on Bibsonomy LoCoCo The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Markus Aschinger, Conrad Drescher, Georg Gottlob Introducing LoCo, a Logic for Configuration Problems Search on Bibsonomy LoCoCo The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Conrad 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 LoCoCo The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Kübler, Christoph Zengler, Wolfgang Küchlin Model Counting in Product Configuration Search on Bibsonomy LoCoCo The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Emmanuel Ohayon, Matthieu Lemerre, Vincent David CONFIGEN: A tool for managing configuration options Search on Bibsonomy LoCoCo The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Inês Lynce, Ralf Treinen (eds.) Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010. Search on Bibsonomy LoCoCo The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Josep Argelich, Daniel Le Berre, Inês Lynce, João Marques-Silva 0001, Pascal Rapicault Solving Linux Upgradeability Problems Using Boolean Optimization Search on Bibsonomy LoCoCo The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Claude Michel, Michel Rueher Handling software upgradeability problems with MILP solvers Search on Bibsonomy LoCoCo The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paulo Trezentos Comparison of PBO solvers in a dependency solving domain Search on Bibsonomy LoCoCo The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license