TY  - RPRT
TI  - Computer assisted discharging procedure on planar graphs: application to 2-distance coloring
AU  - Hoang La
AU  - Petru Valicov
PY  - 2022
UR  - https://arxiv.org/abs/2202.03885
ID  - 2202.03885
ER  -