TY  - RPRT
TI  - Tighter Connections Between Formula-SAT and Shaving Logs
AU  - Amir Abboud
AU  - Karl Bringmann
PY  - 2018
DO  - 10.4230/lipics.icalp.2018.458
UR  - https://arxiv.org/abs/1804.08978
ID  - 1804.08978
ER  -