TY - RPRT TI - A characterization of efficiently compilable constraint languages AU - Christoph Berkholz AU - Stefan Mengel AU - Hermann Wilhelm PY - 2026 UR - https://arxiv.org/abs/2311.10040 ID - 2311.10040 ER -