@misc{indiciaee0089bf62c1a,
  title = {Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers},
  author = {Patrick Trentin and Roberto Sebastiani},
  year = {2019},
  url = {https://arxiv.org/abs/1905.02838},
  note = {Source identifier: 1905.02838}
}