Propagation based local search for bit-precise reasoning

Publication
Formal Methods in System Design