...
One important problem that arises in component based software is to build a product according to the dependencies (requirements or conflicts) between component. The aim of the lecture is to present that problem and how it can be solved using SAT-based techniques, namely Pseudo Boolean Optimization, and how a CDCL solver can be modified for that purpose. The last part of the lecture will present the open source SAT library Sat4j, used to resolve software dependencies within the Eclipse open platform since June 2008.
- Sat4j in the Sat Race 2010
- Sat4j MaxSat in the Max Sat 2010 competition
- The Pseudo Boolean Competition 2010
- The Pseudo Boolean Competition 2011
- The Mancoosi International Solver Competition
...