Por que os computadores modernos resolvem em segundos problemas NP-completos que deveriam explodir exponencialmente: Solucionadores SAT, CDCL e transições de fase
