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

Hoang La Petru Valicov

Published in: CoRR (2022)

Keyphrases

computer assisted
computer aided
intraoperative
planar graphs
probability distribution
social networks
minimum weight