PPT
Resolution Proofs as a Data Structure for Logic Synthesis. John Backes ( back0145@umn.edu ) Marc Riedel ( mriedel@umn.edu ) Electrical and Computer Engineering University of Minnesota. Data Structures. Sum of Products (SOPs) Advantages: explicit, readily mapable.