Theoretical Computer Science · 1998 · 36 citations · 12 references
Natural SciencesComputer ScienceMathematicsData StructuresFormal MethodsSet TheoryAxiomatic Set TheoryBoolean AlgebraModal LogicModel TheoryPredicate LogicProof ComplexityHierarchy Theorems
12
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
Rounds in Communication Complexity Revisited
Noam Nisan, Avi Wigderson · SIAM Journal on Computing · 1993 · 169 citations