Links is a research team of Inria Lille, the University of Lille, and the CNRS (Cristal Lab).
Links' News |
2018 | |
---|---|
Thu 20th Dec 5:00 pm 6:00 pm | STACS'19 paper by Florent Capelli accepted: "Tractable QBF via Knowledge Compilation" with Stefan Mengel |
This team was not found in the list of teams INRIA, contact the search direction or disable this plugin.