A Simple Boolean Representation of 4-Coloring of Planar Graphs

• 平面图的4-着色的简单布尔方程表示