Computer Science Laboratory LIP6 supports the Pink October campaign for breast cancer awareness.

Exploitation des nouvelles architectures multi coeurs pour la résolution de problèmes SAT