Le LIP6, Unité Mixte de Recherche de Sorbonne Université et du Centre National de la Recherche Scientifique (UMR 7606 Sorbonne Université - CNRS) est un laboratoire de recherche en informatique se consacrant à la modélisation et la résolution de problèmes fondamentaux motivés par les applications, ainsi qu'à la mise en oeuvre et la validation des solutions au travers de partenariats académiques et industriels.
Le LIP6 répond à ces challenges au sein de quatre axes transverses de recherche :
- Exploitation des nouvelles architectures multi coeurs pour la résolution de problèmes SAT