TY  - RPRT
TI  - A certifying algorithm for 3-colorability of P5-free graphs
AU  - Daniel Bruce
AU  - Chinh T. Hoang
AU  - Joe Sawada
PY  - 2009
UR  - https://arxiv.org/abs/0907.3497
ID  - 0907.3497
ER  -