A Certifying Algorithm for 3-Colorability of P5-Free Graphs. - Daniel Bruce; Chính T. Hoàng; Joe Sawada (ISAAC, 2009)

A certifying algorithm for 3-colorability of P5-free graphs - Daniel Bruce; Chính T. Hoàng; Joe Sawada (CoRR, 2009)