@article {IOPORT.00745299, author = {Urland, Erik and Stacho, Ladislav}, title = {Factorizing the complete graph $K\sb{12}$ by computer.}, year = {1994}, journal = {Computers and Artificial Intelligence}, volume = {13}, number = {6}, issn = {0232-0274}, pages = {595-601}, publisher = {Slovak Academic Press Ltd., Bratislava}, abstract = {The authors discuss their algorithms which are used to prove that the complete graph $K_{12}$ cannot be decomposed into three factors of diameter two.}, reviewer = {B.Alspach (Burnaby)}, identifier = {00745299}, }