Dynamic Programming for Symbolic Boolean Realizability and Synthesis

Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi

Inspired by recent progress in dynamic programming approaches for weighted model counting, we investigate a dynamic-programming approach in the context of boolean realizability and…