Login / Signup

Square coloring planar graphs with automatic discharging.

Nicolas BousquetLucas de MeyerQuentin DeschampsThéo Pierron
Published in: CoRR (2022)
Keyphrases
  • planar graphs
  • directed acyclic graph