SAT Solving for Termination Analysis with Polynomial Interpretations.

Carsten Fuhs, Jrgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, Ren Thiemann, Harald Zankl

Browse the full SAT paper archive.