@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},
  pages = {34--42},
}