Paulo Trezentos presented his work about applying SAT techniques for the resolution of dependencies in the installation process of software components. The case study is the Caixa Mágica Linux distribution. Paulo presented an interesting formalization of the software packages dependency problem.
My suggestion at the talk was to have users upload the dependency problem solutions (and not just the problems) and to use the installation profile - server, desktop, netbook, etc - to help put the solutions in context.
It's not my research area but it was a talk that I liked to attend.
No comments:
Post a Comment