PPSZ for General k-SAT and CSP—Making Hertli’s Analysis Simpler and 3-SAT Faster - Scheder , Dominik; Steinberger, John (computational complexity, 2024)