4 citations · 17 across the 13 of their papers we have counts for
1 paper · 2 filters
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon +2
This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for termination an…