Paul Trunz

• Transitive orientation, boolean matrix multiplication and the test for transitivity