Title: Communication complexity
Subjects: Automatic theorem proving, Boolean Algebra, Computational complexity, Logic circuits, Telecommunication systems