Analyzing Runtime and Size Complexity of Integer Programs

by Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl
Reference:
Analyzing Runtime and Size Complexity of Integer Programs (Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl), In Proceedings of the 13th International Workshop on Termination (WST 2013) (Johannes Waldmann, ed.), 2013.
Bibtex Entry:
@inproceedings{BrockschmidtEmmesFalkeFuhsGiesl2013,
  title      = {Analyzing Runtime and Size Complexity of Integer Programs},
  author     = {Brockschmidt, Marc and Emmes, Fabian and Falke, Stephan and Fuhs, Carsten and Giesl, J{"u}rgen},
  booktitle  = {Proceedings of the 13th International Workshop on Termination (WST 2013)},
  editor     = {Waldmann, Johannes},
  year       = {2013},
  location   = {Bertinoro, Italy},
  pages      = {15--19}
}

Bookmark the permalink.