TY - RPRT TI - Algorithmic methods of finite discrete structures. The Four Color Theorem. Theory, methods, algorithms AU - Sergey Kurapov AU - Maxim Davidovsky PY - 2024 UR - https://arxiv.org/abs/2405.05270 ID - 2405.05270 ER -