Alternating Runtime and Size Complexity Analysis of Integer Programs

Posted on February 19, 2016 by
by Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl
Reference:
Alternating Runtime and Size Complexity Analysis of Integer Programs (Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl), Chapter in Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014) (Erika Ábrahám, Klaus Havelund, eds.), Springer Berlin Heidelberg, volume 8413, 2014.
Bibtex Entry:
@incollection{BrockschmidtEmmesFalkeFuhsGiesl2014,
  author    = {Brockschmidt, Marc and Emmes, Fabian and Falke, Stephan and Fuhs, Carsten and Giesl, J{"u}rgen},
  isbn      = {978-3-642-54861-1},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)},
  volume    = {8413},
  series    = {Lecture Notes in Computer Science},
  editor    = {'Abrah'am, Erika and Havelund, Klaus},
  title     = {Alternating Runtime and Size Complexity Analysis of Integer Programs},
  publisher = {Springer Berlin Heidelberg},
  pages     = {140--155},
  year      = {2014}
}

Bookmark the permalink.