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 Titre : Solving Stochastic Boolean Satisfiability of Formulas with Two Quantification Levels Speaker : Jie-Hong (...)