Colloquium Polaris 01/23/2020

on January 23, 2020 at 2:00 pm

Speaker : Pierre Marquis

Compiling Propositional Formulae into Decision-DNNF Representations

More...

Amphi Inria – Bâtiment B – Rue Héloïse à Villeneuve d’Ascq – Haute Borne.