Publications

Cnf Instances from the Software Package Installation Problem

AuthID
P-008-FBH

Author(s)

Argelich, J

Lynce, I

Editor(s)

Gavanelli,M;Mancini,T

Document Type

Proceedings Paper

Year published

2008

Published

in Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008. in CEUR Workshop Proceedings, ISSN: 1613-0073

Volume: 451

Conference

15Th Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Rcra 2008, Date: 12 December 2008 through 13 December 2008, Location: Udine

Indexing