On the consistency of circuit lower bounds for non-deterministic time | Publicación