The Research on Two Important Counter-Examples of Four-Color Problem | IEEE Conference Publication | IEEE Xplore