- $O(1.308^n)$: Timon Hertli, "3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General", FOCS 2011.
Kaveh
- 21.8k
- 8
- 84
- 185