Proceedings The official proceedings of SAT 2023 are now accessible! Slides The slides of the talks are now accessible!