TY - RPRT TI - PPSZ is better than you think AU - Dominik Scheder PY - 2024 DO - 10.46298/theoretics.24.5 UR - https://arxiv.org/abs/2207.11071 ID - 2207.11071 ER -