collaborators

1 paper

cs.DC2023

Partitioning Strategies for Distributed SMT Solving

Amalee Wilson, Andres Noetzli, Andrew Reynolds +3

For many users of Satisfiability Modulo Theories (SMT) solvers, the solver's performance is the main bottleneck in their application. One promising approach for improving performan…