cs-conference-ranking.org Search 971 venues

A Certifying Algorithm for 3-Colorability of

Daniel Bruce, Chnh T. Hong, Joe Sawada

Year2009

ProceedingsISAAC

DBLP recordconf/isaac/BruceHS09 ↗

Browse the full ISAAC paper archive.