TY - RPRT TI - Signed p-adic Residual Encodings of Finite-Domain All-Different Systems with a Sudoku Case Study AU - Greg Baker PY - 2026 UR - https://arxiv.org/abs/2609.16063 ID - 2609.16063 ER -