@misc{indiciae5a1ad9fc6be5,
  title = {Matching Multiplications in Bit-Vector Formulas},
  author = {Supratik Chakraborty and Ashutosh Gupta and Rahul Jain},
  year = {2016},
  url = {https://arxiv.org/abs/1611.10146},
  note = {Source identifier: 1611.10146}
}