http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Bibtex%3AFGMSTZ07 2026-05-02T04:55:02Z Revision history for this page on the wiki MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=Bibtex:FGMSTZ07&diff=300&oldid=prev 2008-03-31T18:44:06Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 18:44, 31 March 2008</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2" >Line 2:</td> <td colspan="2" class="diff-lineno">Line 2:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:BibtexNews| ]]    &lt;!-- remove this line if this is not a new publication --&gt;</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:BibtexNews| ]]    &lt;!-- remove this line if this is not a new publication --&gt;</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== BibTex ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== BibTex ==</div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">&lt;!-- Please add the BibTeX data below this comment. --&gt;</ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;bibtex&gt;</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;bibtex&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">&lt;!-- Please add the BibTeX data below this comment. --&gt;</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>@inproceedings{SAT07,</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>@inproceedings{SAT07,</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>     author = {C. Fuhs and J. Giesl and A. Middeldorp and R. Thiemann and P. {Schneider-Kamp} and H. Zankl},</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>     author = {C. Fuhs and J. Giesl and A. Middeldorp and R. Thiemann and P. {Schneider-Kamp} and H. Zankl},</div></td></tr> </table>

C-Otto http://termination-portal.org/mediawiki/index.php?title=Bibtex:FGMSTZ07&diff=269&oldid=prev 2008-03-31T09:09:09Z

<p>SAT&#039;07 paper on SAT solving for finding polynomial interpretations (without and with negative constants)</p> <p><b>New page</b></p><div>[[Category:Bibtex| ]]<br /> [[Category:BibtexNews| ]] &lt;!-- remove this line if this is not a new publication --&gt;<br /> == BibTex ==<br /> &lt;bibtex&gt;<br /> &lt;!-- Please add the BibTeX data below this comment. --&gt;<br /> @inproceedings{SAT07,<br /> author = {C. Fuhs and J. Giesl and A. Middeldorp and R. Thiemann and P. {Schneider-Kamp} and H. Zankl},<br /> title = {SAT Solving for Termination Analysis with Polynomial Interpretations},<br /> booktitle = {Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)},<br /> year = {2007},<br /> series = {Lecture Notes in Computer Science},<br /> volume = {4501},<br /> pages = {340-354}<br /> }<br /> &lt;/bibtex&gt;&lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&gt;</div>

Fuhs