@misc{indiciaeca7c15cbf56d,
  title = {Computer assisted discharging procedure on planar graphs: application to 2-distance coloring},
  author = {Hoang La and Petru Valicov},
  year = {2022},
  url = {https://arxiv.org/abs/2202.03885},
  note = {Source identifier: 2202.03885}
}