Difference between revisions of "Bibtex:FGMSTZ07"
From Termination-Portal.org
Jump to navigationJump to search (SAT'07 paper on SAT solving for finding polynomial interpretations (without and with negative constants)) |
(No difference)
|
Revision as of 09:09, 31 March 2008
BibTex
C. Fuhs, J. Giesl, A. Middeldorp, R. Thiemann, P. Schneider-Kamp, H. Zankl - SAT Solving for Termination Analysis with Polynomial Interpretations