@inproceedings{NiemetzPreinerBiereFroehlich-DIFTS15,
  author    = {Aina Niemetz and
               Mathias Preiner and
               Andreas Fr{\"{o}}hlich and
		           Armin Biere},
  title     = {Improving Local Search For Bit-Vector Logics in {SMT} with Path
               Propagation},
  booktitle = {Proc.~4th Intl.~Work.~on Design and Implementation of Formal
               Tools and Systems ({DIFTS'15})},
  pages     = {10 pages},
  year      = {2015},
}