Announcement_7

I will be giving a talk at the Symmetry Handling for Satisfiability and Optimization Workshop at TU Eindhoven, 23-24 March 2025.