@InProceedings{becker-et-al-wea-2005,
  author = "Bernd Becker and Markus Behle and 
            Friedrich Eisenbrand and Ralf Wimmer",
  title = "{BDD}s in a Branch \& Cut Framework",
  year = "2005",
  month = may,
  booktitle = "Proceedings of the 4th International 
               Workshop on Efficient and Experimental 
               Algorithms",
  series = "Lecture Notes in Computer Science",
  volume = "3503",
  editor = "Sotiris E. Nikoletseas",
  address = "Santorini, Greece",
  publisher = "Springer Verlag"
  pages = "452--463"
}