Deciding floating-point logic with abstract conflict driven clause learning (Formal Methods in System Design, 2014)

(untitled) - Brain, M; Silva, V; Griggio, A; Haller, L; Kroening, D