Bibtex:FGMSTZ07: Difference between revisions
SAT'07 paper on SAT solving for finding polynomial interpretations (without and with negative constants) |
No edit summary |
||
| 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
<bibtex> @inproceedings{SAT07,
author = {C. Fuhs and J. Giesl and A. Middeldorp and R. Thiemann and P. {Schneider-Kamp} and H. Zankl},
title = {SAT Solving for Termination Analysis with Polynomial Interpretations},
booktitle = {Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)},
year = {2007},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {340-354}
} </bibtex>