Paul Beame, Joseph C. Culberson, David G. Mitchell, Cristopher Moore. The resolution complexity of random graph ::::k::::-colorability. Discrete Applied Mathematics, 153(1-3):25-47, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.