@TechReport{Brauer13,
  author      = "J{\"org} Brauer",
  title       = "{A}utomatic {A}bstraction for {B}it-{V}ectors using {D}ecision {P}rocedures",
  institution = "RWTH Aachen",
  keywords    = "abstract interpretation, automatic abstraction, sat solving, decision procedures",
  year        = "2013",
  number      = "AIB-2013-14",
  month       = nov,
  url         = "http://aib.informatik.rwth-aachen.de/2013/2013-14.pdf"
}