TY  - RPRT
TI  - Shared SAT Solvers and SAT Memory in Distributed Business Applications
AU  - Sergejs Kozlovičs
PY  - 2023
DO  - 10.1007/978-3-031-09850-5_14
UR  - https://arxiv.org/abs/2302.00635
ID  - 2302.00635
ER  -