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

2019

ETAPS

TACAS

Author of Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework within the TACAS 2019-track