EPTCS 29 - LoCoCo 2010

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1007-0831
- ask others
Inês Lynce, Ralf Treinen (Eds.): Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010. 2010 EPTCS 29 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1007-1020
- ask others
Claude Michel, Michel Rueher: Handling software upgradeability problems with MILP solvers. ... 1-10
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1007-1021
- ask others
Josep Argelich, Daniel Le Berre, Inês Lynce, João P. Marques Silva, Pascal Rapicault: Solving Linux Upgradeability Problems Using Boolean Optimization. ... 11-22
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1007-1022
- ask others
Paulo Trezentos: Comparison of PBO solvers in a dependency solving domain. ... 23-31
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1007-1023
- ask others
Emmanuel Ohayon, Matthieu Lemerre, Vincent David: CONFIGEN: A tool for managing configuration options. ... 32-43
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1007-1024
- ask others
Andreas Kübler, Christoph Zengler, Wolfgang Küchlin: Model Counting in Product Configuration. ... 44-53