Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2010/06/01
Vol. E93-A
No. 6 ;
pp. 1000-1007
Type of Manuscript:
Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: Graphs and Networks
Keyword:
Hajos calculus, planar graph, bounded degree graph, coloring, proof system, |