A proof of the Erdös-Faber-Lovász conjecture: Algorithmic aspects | IEEE Conference Publication | IEEE Xplore