Re: SAT based britney

[Mehdi Dogguy <mehdi@debian.org>]

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}