νZ - An Optimizing SMT Solver.

Nikolaj S. Bjrner, Anh-Dung Phan, Lars Fleckenstein

Browse the full TACAS paper archive.