%0 Journal Article %1 journals/toplas/BrockschmidtE0F16 %A Brockschmidt, Marc %A Emmes, Fabian %A Falke, Stephan %A Fuhs, Carsten %A Giesl, Jürgen %D 2016 %J ACM Trans. Program. Lang. Syst. %K %N 4 %P 13 %T Analyzing Runtime and Size Complexity of Integer Programs. %U http://dblp.uni-trier.de/db/journals/toplas/toplas38.html#BrockschmidtE0F16 %V 38

@article{journals/toplas/BrockschmidtE0F16, added-at = {2023-12-14T16:35:28.000+0100}, author = {Brockschmidt, Marc and Emmes, Fabian and Falke, Stephan and Fuhs, Carsten and Giesl, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/2663e26b14f91cfe89603c6460737e7e4/admin}, ee = {http://dl.acm.org/citation.cfm?id=2866575}, interhash = {fa3ebda4a40f663028b7cc28bd6025c7}, intrahash = {663e26b14f91cfe89603c6460737e7e4}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {}, number = 4, pages = 13, timestamp = {2023-12-14T16:35:28.000+0100}, title = {Analyzing Runtime and Size Complexity of Integer Programs.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas38.html#BrockschmidtE0F16}, volume = 38, year = 2016 }