Fabrice Kordon -

Registered user since Fri 5 Apr 2019

Name: Fabrice Kordon

Affiliation: Sorbonne University — LIP6

Personal website: https://pagesperso.lip6.fr/Fabrice.Kordon/index.php

Contributions

TACAS 2019	Author of Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework within the TACAS 2019-track
ETAPS 2019	Session Chair of Tinelli (part of Tutorials) Committee Member in Organizers within the TOOLympics-track