Bringmann, Karl Algorithms and Complexity, MPI for Informatics, Max Planck Society;
arXiv:1804.08978.pdf (Preprint), 426KB
Abboud, A., & Bringmann, K. (2018). Tighter Connections Between Formula-SAT and Shaving Logs. Retrieved from http://arxiv.org/abs/1804.08978.