If you are citing Bitwuzla, please use the following BibTex entry (retrieved from DBLP):
@inproceedings{DBLP:conf/cav/NiemetzP23,
author = {Aina Niemetz and
Mathias Preiner},
editor = {Constantin Enea and
Akash Lal},
title = {Bitwuzla},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {3--17},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_1},
doi = {10.1007/978-3-031-37703-7\_1},
timestamp = {Fri, 21 Jul 2023 17:55:59 +0200},
biburl = {https://dblp.org/rec/conf/cav/NiemetzP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}