@article{brain2013deciding,
  title = "Deciding floating-point logic with abstract conflict driven clause learning",
  author = "Brain, Martin and D’Silva, Vijay and Griggio, Alberto and Haller, Leopold and Kroening, Daniel",
  year = "2013",
  journal = "Formal Methods in System Design",
  pages = "1--33",
  publisher = "Springer US",
}