Josep Argelich, Inês Lynce. CNF Instances from the Software Package Installation Problem. In Marco Gavanelli, Toni Mancini, editors, Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008. Volume 451 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.