Computer assisted discharging procedure on planar graphs: application to 2-distance coloring

Hoang La, Petru Valicov

Using computational techniques we provide a framework for proving results on subclasses of planar graphs via discharging method. The aim of this paper is to apply these techniques…