Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper).

Florian Frohn, Jrgen Giesl

Browse the full CADE paper archive.