Shared SAT Solvers and SAT Memory in Distributed Business Applications

Sergejs Kozlovičs

We propose a software architecture where SAT solvers act as a shared network resource for distributed business applications. There can be multiple parallel SAT solvers running eith…