bn:04769801n
Noun Named Entity
NL
No term available
FR
En informatique théorique, plus précisément en théorie de la complexité, le problème 3-SAT est un problème surtout utilisé pour démontrer que d'autres problèmes sont NP-difficiles. Wikipedia
Relations
Sources