Poco común
Problema de satisfacibilidad booleana
En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (también llamado SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP-completo.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis