A Concurrent Portfolio Approach to SMT Solving

Christoph M. Wintersteiger, Youssef Hamadi, and Leonardo de Moura
2009

In Proceedings of the 21st International Conference on Computer Aided Verification (CAV)

Publisher Springer