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.

Agenda

Defenses

• Corentin Barloy (thesis)

  July 5, 2024 at 9:45 am

• Ellie Beauprez (thesis)

  July 8, 2024 at 2:00 pm

• Salman Farhat (thesis)

  July 11, 2024 at 2:00 pm

Highlights