Return to File:Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf.