Baidu
map

Parallelizing simplex within SMT solvers

Bankovic, M

Bankovic, M (reprint author), Univ Belgrade, Fac Math, Studentski Trg 16, Belgrade 11000, Serbia.

ARTIFICIAL INTELLIGENCE REVIEW, 2017; 48 (1): 83

Abstract

The usual approach in parallelizing SAT and SMT solvers is either to explore different parts of the search space in parallel (divide-and-conquer appro......

Full Text Link


Baidu
map
Baidu
map
Baidu
map