Tighter Connections Between Formula-SAT and Shaving Logs.

Amir Abboud, Karl Bringmann

Browse the full ICALP paper archive.