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)) |
|||
| Line 2: | Line 2: | ||
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --> | [[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --> | ||
== BibTex == | == BibTex == | ||
| + | <!-- Please add the BibTeX data below this comment. --> | ||
<bibtex> | <bibtex> | ||
| − | |||
@inproceedings{SAT07, | @inproceedings{SAT07, | ||
author = {C. Fuhs and J. Giesl and A. Middeldorp and R. Thiemann and P. {Schneider-Kamp} and H. Zankl}, | author = {C. Fuhs and J. Giesl and A. Middeldorp and R. Thiemann and P. {Schneider-Kamp} and H. Zankl}, | ||
Latest revision as of 18:44, 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
- 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
