Logic Synthesis and Verification AlgorithmsFabio Somenzi, Gary D. HachtelPocketEngelskLegg i handlekurvNettlager