Covers research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. This book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques.