Guillaume Hanrot 1 AuthorId : 129657 Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Natarajan Saradha 2 AuthorId : 131806 Author Employer institution : Tata Institute for Fundamental Research
Tarlok Shorey 2 AuthorId : 131807 Author Employer institution : Tata Institute for Fundamental Research
Computer Science [cs] / Other [cs.OH]
INRIA | CNRS | LORIA | UNIV-LORRAINE | INRIA2