Deciding floating-point logic with abstract conflict driven clause learning - Brain, M; Silva, V; Griggio, A; Haller, L; Kroening, D (Formal Methods in System Design, 2014)