Keyword : Hajos calculus

The Planar Hajós Calculus for Bounded Degree Graphs
Kazuo IWAMA Kazuhisa SETO Suguru TAMAKI 
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, 
 Summary | Full Text:PDF
New Graph Calculi for Planar Non-3-Colorable Graphs
Yoichi HANATANI Takashi HORIYAMA Kazuo IWAMA Suguru TAMAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/09/01
Vol. E91-A  No. 9 ; pp. 2301-2307
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
Hajos calculus, planar graph, coloring, proof systems, 
 Summary | Full Text:PDF