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]
@article{BrockschmidtE0F16,
title = {Analyzing Runtime and Size Complexity of Integer Programs},
author = {Marc Brockschmidt and Fabian Emmes and Stephan Falke 0001 and Carsten Fuhs and Jürgen Giesl},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2866575},
researchr = {https://researchr.org/publication/BrockschmidtE0F16},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {38},
number = {4},
pages = {13},
}