TY  - RPRT
TI  - An independent computer-assisted proof of the Chen-Raspaud conjecture for k=4
AU  - Marysia Nazarczuk
PY  - 2026
UR  - https://arxiv.org/abs/2610.07968
ID  - 2610.07968
ER  -