@string{Springer="Springer"}
@string{LNCS="LNCS"}

@inproceedings{EssmannNR-IJCAR20,
author={Robin E{\ss}mann and Tobias Nipkow and Simon Robillard},
title={Verified Approximation Algorithms},
booktitle={Automated Reasoning (IJCAR 2020)},
editor={N. Peltier and V. Sofronie-Stokkermans},publisher={Springer},
series={LNCS},volume={12167},pages={12167},year=2020,
note={\url{https://doi.org/10.1007/978-3-030-51054-1_17}}}

@inproceedings{BerghammerM03,
  author    = {Rudolf Berghammer and Markus M{\"{u}}ller{-}Olm},
  title     = {Formal Development and Verification of Approximation Algorithms Using
               Auxiliary Variables},
  booktitle = {Logic Based Program Synthesis and Transformation, {LOPSTR} 2003},
  pages     = {59--74},
  year      = {2003},
  crossref  = {DBLP:conf/lopstr/2003},
  doi       = {10.1007/978-3-540-25938-1\_6},
}

@proceedings{DBLP:conf/lopstr/2003,
  editor    = {Maurice Bruynooghe},
  title     = {Logic Based Program Synthesis and Transformation, {LOPSTR} 2003},
  series    = {LNCS},
  volume    = {3018},
  publisher = {Springer},
  year      = {2004},
}

@article{BerghammerR03,
  author    = {Rudolf Berghammer and Florian Reuter},
  title     = {A linear approximation algorithm for bin packing with absolute approximation
               factor 3/2},
  journal   = {Sci. Comput. Program.},
  volume    = {48},
  number    = {1},
  pages     = {67--80},
  year      = {2003},
  doi       = {10.1016/S0167-6423(03)00011-X},
}

@book{KleinbergT06,
  author    = {Jon M. Kleinberg and {\'{E}}va Tardos},
  title     = {Algorithm Design},
  publisher = {Addison-Wesley},
  year      = {2006},
}
