Promenade au-delà de NP
Jean-Marie Lagniez  11/12/2019
Résolution de problèmes autour de SAT
Gilles Audemard  29/11/2010
Raisonnement & Incohérence
Sébastien Konieczny  03/03/2010