New Data Structures and Algorithms for Logic Synthesis and Verification | Kaicus Deutschland