A Theorem on Boolean Matrices
Journal of the ACM · 1962 · 1.7K citations · 2 references
Boolean MatricesBoolean FunctionAutomated ReasoningMatrix TheoryMatrix AnalysisAbstract Object Theory
No abstract available.
2
Applications of Boolean matrices to the analysis of flow diagrams
Reese T. Prosser · 1959
99 citations
A New Method of Checking the Consistency of Precedence Matrices
Rosalind B. Marimont · Journal of the ACM · 1959
71 citations