@inproceedings{NiemetzPreinerBiereFroehlich-DIFTS15,
  author     = {Aina Niemetz and 
                Mathias Preiner and
		Armin Biere and
		Andreas Fr{\"{o}}hlich},
  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},
}