"Apt-pbo: solving the software dependency problem using pseudo-boolean ..."

Paulo Trezentos, Inês Lynce, Arlindo L. Oliveira (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics