Metadata
Author: WikiMatrix
Data
French[fr]
Comme 3-SAT est NP-dur, 3-SAT a été utilisé pour prouver que d'autres problèmes sont NP-durs.
Italian[it]
Poiché k-SAT (caso generale) si riduce a 3-SAT, e 3-SAT può dimostrarsi essere NP-completo, può anche essere utilizzato per provare che altri problemi lo sono.