5 décembre 2019
Séminaire Méthodes présenté par le prof. Jie-Hong Roland Jiang, le 09/12/2019 à 14h00 en A007 à Télécom SudParis
Quand : Le lundi 9 décembre 2019 à 14h00
Où : En A007, à Télécom SudParis, Evry
Tittre : Solving Stochastic Boolean Satisfiability of Formulas with Two Quantification Levels