Search the dblp DataBase

Publications of Author

1. Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl
   SAT Solving for Termination Analysis with Polynomial Interpretations. [Citation Graph (0, 0)][DBLP]
   SAT, 2007, pp:340-354 [Conf]
   
2. 
   Search Techniques for Rational Polynomial Orders. [Citation Graph (, )][DBLP]
   
   
3. 
   Termination Analysis by Dependency Pairs and Inductive Theorem Proving. [Citation Graph (, )][DBLP]
   
   
4. 
   Implementing RPO and POLO using SAT. [Citation Graph (, )][DBLP]
   
   
5. 
   Improving Context-Sensitive Dependency Pairs. [Citation Graph (, )][DBLP]
   
   
6. 
   Proving Termination of Integer Term Rewriting. [Citation Graph (, )][DBLP]
   
   
7. 
   Maximal Termination. [Citation Graph (, )][DBLP]
   
   
8. 
   Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT. [Citation Graph (, )][DBLP]
   
   
9. 
   Optimal Base Encodings for Pseudo-Boolean Constraints [Citation Graph (, )][DBLP]