Media type: E-Article Title: Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers Contributor: Lucas, Salvador; Navarro-Marset, Rafael Published: Elsevier BV, 2008 Published in: Electronic Notes in Theoretical Computer Science, 206 (2008), Seite 75-90 Language: English DOI: 10.1016/j.entcs.2008.03.076 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access