Aide à la recherche   Requête : "classe de complexité NP"

1	2020 Repères-IREM. N° 121. p. 77-105. Du problème de Wang vers une nouvelle situation de recherche pour la classe.
2	2020 Repères-IREM. N° 121.
3	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
4	2015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
5	2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
6	2011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
7	2011 De la méthode.
8	2007 Tangente. N° 117. p. 12-13. P=NP ?
9	2005 Repères-IREM, N°61. p. 91-103. Physique statistique et optimisation combinatoire.