νZ - An Optimizing SMT Solver. - Nikolaj S. Bjørner; Anh-Dung Phan; Lars Fleckenstein (TACAS, 2015)