7 citations · 17 across the 10 of their papers we have counts for
1 paper · 1 filter
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…