2 SAT Solving for Termination Analysis with (2009)
Carsten Fuhs, Aart Middeldorp, Peter Schneiderkamp, Harald Zankl, Carsten Fuhs, Aart Middeldorp, ...
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most termination...