Solving Linux Upgradeability Problems Using Boolean Optimization

AuthID
 P-00M-WG9
5
Author(s)
Berre, DanielLe
·
Lynce, Ines
·
2
Editor(s)
Inês Lynce; Ralf Treinen
Document Type
Proceedings Paper
Year published
2010
Published
in Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010. in EPTCS
Volume: 29, Pages: 11-22
Indexing
Dblp®/en/publications/view/684553
Arxiv®
Publication Identifiers
Arxiv: 1007.1021
Dblp: journals/corr/abs-1007-1021
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service