TY  - RPRT
TI  - Approximating 1-in-3 SAT by linearly ordered hypergraph 3-colouring is NP-hard
AU  - Andrei Krokhin
AU  - Danny Vagnozzi
PY  - 2025
UR  - https://arxiv.org/abs/2508.14606
ID  - 2508.14606
ER  -