@misc{indiciae79358e46ef18,
  title = {Shared SAT Solvers and SAT Memory in Distributed Business Applications},
  author = {Sergejs Kozlovičs},
  year = {2023},
  doi = {10.1007/978-3-031-09850-5\_14},
  url = {https://arxiv.org/abs/2302.00635},
  note = {Source identifier: 2302.00635}
}