13 citations · 13 across the 1 of their papers we have counts for
1 paper
Shay B. Cohen, Robert J. Simmons, Noah A. Smith
Weighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs corre…