Parallelizing simplex within SMT solvers. - Banković, Milan (Artificial Intelligence Review, 2017)