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

TitleOpenSMT2: An SMT Solver for Multi-Core and Cloud Computing
Publication TypeConference Proceedings
Year of Conference2016
AuthorsHyvärinen, Antti E. J., Marescotti Matteo, Alt Leonardo, and Sharygina Natasha
Conference NameSAT 2016
URLhttp://verify.inf.usi.ch/media/83