TY - RPRT TI - PLS-complete problems with lexicographic cost functions: Max-$k$-SAT and Abelian Permutation Orbit Minimization AU - Dominik Scheder AU - Johannes Tantow PY - 2026 UR - https://arxiv.org/abs/2510.15712 ID - 2510.15712 ER -