New Data Structures and Algorithms for Logic Synthesis and VerificationLuca Gaetano AmaruPocketEngelskLegg i handlekurvNettlager