Por qué las computadoras modernas resuelven en segundos problemas NP-completos que deberían explotar exponencialmente: Solucionadores SAT, CDCL y transiciones de fase
