OpenSMT2: An SMT Solver for Multi-Core and Cloud Computing

TitleOpenSMT2: An SMT Solver for Multi-Core and Cloud Computing
Publication TypeConference Paper
Year of Publication2016
AuthorsHyvärinen, Antti E. J., Marescotti Matteo, Alt Leonardo, and Sharygina Natasha
Full Text