Total Colorings of Planar Graphs with Maximum Degree Seven and without 3-Cycles Adjacent to 4-Cycles | IEEE Conference Publication | IEEE Xplore