Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams

Yi Lin, Moshe Y. Vardi

Motivated by functional synthesis in sequential circuit construction and quantified boolean formulas (QBF), boolean synthesis serves as one of the core problems in Formal Methods.…