Analyzing Runtime and Size Complexity of Integer Programs

Marc Brockschmidt, Fabian Emmes, Stephan Falke 0001, Carsten Fuhs, Jürgen Giesl. Analyzing Runtime and Size Complexity of Integer Programs. ACM Transactions on Programming Languages and Systems, 38(4):13, 2016. [doi]

Abstract

Abstract is missing.