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