Références pour les techniques de preuve TCS
Existe-t-il des références (en ligne ou sous forme de livre) qui organisent et discutent des théorèmes du SDC par technique de démonstration? Garey et Johnson le font pour les différents types de constructions de widgets nécessaires pour les preuves de complétude NP (en particulier dans le chapitre...