OpenSMT2: An SMT Solver for Multi-core and Cloud Computing.

Antti E. J. Hyvrinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina

Browse the full SAT paper archive.