Accéder directement au contenu

Marc Tommasi

1
Documents

Présentation

Professor in Computer Science at [Lille university](https://www.univ-lille.fr/). I am a member of [CRIStAL](https://www.cristal.univ-lille.fr/?rubrique9) lab. I am the leader of the [Magnet Team](https://team.inria.fr/magnet). My research interests are machine learning, structured prediction for trees and graphs. I have also studied tree automata and set constraints.

Publications

anne-cecile-caron

Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting

Anne-Cécile Caron , Franck Seynhaeve , Sophie Tison , Marc Tommasi
Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, 1999, Unknown, Unknown Region. pp.103--117, ⟨10.1007/3-540-48685-2_9⟩
Communication dans un congrès hal-01820502v1