Title: New Data Structures and Algorithms for Logic Synthesis and Verification
Subjects: Data structures (computer science), Logic circuits