Improving Local Search For Bit-Vector Logics in SMT with Path Propagation

Publication
Proc.~4th Intl.~Work.~on Design and Implementation of Formal Tools and Systems (DIFTS’15)