TY - RPRT TI - An MDL-Style Cost Functional KC, Distribution-Preserving Reductions ($A2^d$), and an $AC^0$+log Lower Bound for 3SAT via Balanced 3XOR AU - Marko Lela PY - 2025 UR - https://arxiv.org/abs/2509.14305 ID - 2509.14305 ER -