Elena Annov

According to our database, Elena Annov authored at least 2 papers in 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Proving Termination Using Recursive Path Orders and SAT Solving.

Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

Implementing RPO and POLO using SAT.

Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl

Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007