Alternating Runtime and Size Complexity Analysis of Integer Programs.

Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jrgen Giesl

Browse the full TACAS paper archive.