Link Streams
Channel: Fabrice Kordon
Date: 2019-08-20

Cette vidéo présente des travaux de recherche au LIP6 (laboratoire de recherche Sorbonne Université/CNRS) qui visent à accélérer la recherche de solutions au problèmes de satisfiabilité.

Ces activités concernent plusieurs chercheurs du laboratoire: M. Latapy et C. Magnien.

Quelques URL de papiers sur le sujet:
https://www.lip6.fr/actualite/personnes-fiche.php?ident=P641