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

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