Différences
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. |