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