A Concurrent Portfolio Approach to SMT Solving

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

Details

Publication typeInproceedings
Published inProceedings of the 21st International Conference on Computer Aided Verification (CAV)
Number5643
SeriesLNCS
PublisherSpringer
> Publications > A Concurrent Portfolio Approach to SMT Solving