scientific article; zbMATH DE number 1500612

zbMath0954.01009MaRDI QIDQ4501634

Olivier Hudry

Publication date: 12 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

planar graph coloringmap coloringcomputer assisted proofs

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Coloring of graphs and hypergraphs (05C15) History of mathematics in the 19th century (01A55) History of combinatorics (05-03)

Related Items

Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures