Bibtex:FGMSTZ07
From Termination-Portal.org
Jump to navigationJump to searchBibTex
C. Fuhs, J. Giesl, A. Middeldorp, R. Thiemann, P. Schneider-Kamp, H. Zankl - SAT Solving for Termination Analysis with Polynomial Interpretations
- Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007) 4501:340-354,2007
- BibtexAuthor : C. Fuhs, J. Giesl, A. Middeldorp, R. Thiemann, P. Schneider-Kamp, H. Zankl
Title : SAT Solving for Termination Analysis with Polynomial Interpretations
In : Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007) -
Address :
Date : 2007
