@InProceedings{tassat2024,
  title = {TaSSAT: Transfer and Share SAT},
  author = {Chowdhury, Md Solimul
            and Codel, Cayden R.
            and Heule, Marijn J. H.},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - {TACAS} 2024},
  year = {2024},
  month = {4},
  editor = { Finkbeiner, Bernd
             and Kov{\'a}cs, Laura},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  pages = {34--42},
  isbn = {978-3-031-57246-3},
  doi = {10.1007/978-3-031-57246-3_3},
  url = {https://doi.org/10.1007/978-3-031-57246-3_3},
}