• Sign in
  • Sign up
conf.researchr.org / Fabrice Kordon
  • ETAPS 2019 profile
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

Share
xThu 30 Jun 03:46
using conf.researchr.org (v1.56.1)
Support page
Sign Up