Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

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]
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.