RR Williams - Proceedings of the 56th Annual ACM Symposium on …, 2024 - dl.acm.org
Many results in fine-grained complexity reveal intriguing consequences from solving various
SAT problems even slightly faster than exhaustive search. We prove a “self-improving”(or …