...

• 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
• p2cudf

Argelich Josep, Le Berre Daniel, Lynce Ines, Marques-Silva Joao, Rapicault Pascal,
Solving Linux Upgradeability Problems Using Boolean Optimization,
dans Workshop on Logics for Component Configuration (Lococo), pp. 11-22, july 2010.

Le Berre Daniel, Rapicault Pascal,
Dependency management for the Eclipse ecosystem,
dans Open Component Ecosystems International Workshop (IWOCE2009), august 2009.

Daniel Le Berre, Université d'Artois, France

...