Re: SAT based britney
On 23/06/2011 10:25, Raphael Hertzog wrote:
> On Wed, 22 Jun 2011, Stefano Zacchiroli wrote:
>> The package installation problem (as routinely solved by the SAT-based
>> edos-distcheck monitor ) 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 .
>>  http://edos.debian.net/weather/
>>  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/
Mehdi Dogguy مهدي الدڤي