Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random (Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing)