On 23/06/2011 10:25, Raphael Hertzog wrote: > Hi, > > On Wed, 22 Jun 2011, Stefano Zacchiroli wrote: >> The package installation problem (as routinely solved by the SAT-based >> edos-distcheck monitor [1]) is: find a subset of the repository that is >> coherent (satisfies all dependencies and conflicts) and contains the >> wanted package. This is a typical NP-complete problem, due to the >> presence of both disjunctive dependencies and conflicts [2]. >> >> [1] http://edos.debian.net/weather/ >> [2] http://www.computer.org/portal/web/csdl/doi/10.1109/ASE.2006.49 > > Can we have a copy of this article? >
It's available on http://hal.inria.fr/hal-00149566_v1/ Regards, -- Mehdi Dogguy مهدي الدڤي mehdi@{dogguy.org,debian.org} -- To UNSUBSCRIBE, email to debian-release-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4e030c1a.5050...@debian.org