@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", }