Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | |||
demos:presentation [2017/06/09 10:32] maris |
demos:presentation [2017/06/09 21:22] (Version actuelle) maris |
||
---|---|---|---|
Ligne 20: | Ligne 20: | ||
[IAF] | [IAF] | ||
- | **TouIST again... (formalisez et résolvez facilement des problèmes du monde réel avec des solveurs SAT, SMT et QBF)** - Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais. | + | **TouIST again... (formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF)** - Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais. |
[JFSMA] | [JFSMA] | ||
Ligne 51: | Ligne 51: | ||
[JFPDA] | [JFPDA] | ||
- | **TouIST again... (formalisez et résolvez facilement des problèmes du monde réel avec des solveurs SAT, SMT et QBF)** - Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais. | + | **TouIST again... (formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF)** - Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais. |