BDD-Based Boolean Functional Synthesis
CAV, pp. 402-421, 2016.
Boolean functional synthesis is the process of automatically obtaining a constructive formalization from a declarative relation that is given as a Boolean formula. Recently, a framework was proposed for Boolean functional synthesis that is based on Craig Interpolation and in which Boolean functions are represented as And-Inverter Graphs (...More
PPT (Upload PPT)