Fabrice Rouillier 1 AuthorId : 742833 Author IdHAL : fabrice-rouillier arXiv : https://arxiv.org/a/fabricerouillier
Computer Science [cs] / Other [cs.OH]
INRIA | CNRS | LORIA | UNIV-LORRAINE