Me, a young woman with long blonde hair wearing a pink blouse, standing in front of an academic poster, smilingly posing as if I am explaining it to someone. The poster is titled "Solving the Identifying Code Set Problem with Grouped Independent Support", and has a big pink block with white letters in the middle, which reads "by reducing to a computationally harder problem, we can exponentially decrease the encoding size, and solve much larger instances."

Notices where this attachment appears

1. Embed this notice
   Dr. Anna Latour (anna@mathstodon.xyz)'s status on Thursday, 13-Mar-2025 05:34:27 JST Dr. Anna Latour

   Last week, I presented the work I did with prof. Kuldeep Meel and prof. Arunabha Sen at IJCAI 2023.

   We showed the benefits of reducing a problem to a computationally harder problem (yes, you read that right!), by demonstrating how it allows us to solve much larger problem instances.

   It was so much fun to finally share this work with so many fantastic researchers at IJCAI! Thank you to all organisers for making this conference possible. I'm also super grateful to the reviewers who gave us great feedback!

   Please find our paper, slides, poster, a short video, and our open source tool, gismo, here: www.annalatour.nl/publication/2023-08-01-Solving-the-Identifying-Code-Set-Problem-with-Grouped-Independent-Support

   #IJCAI2023 #IJCAI #AcademicMastodon #FOSS #PostdocLife #ConstraintProgramming #BooleanSatisfiability #Complexity #AcademicChatter #OpenSource #OpenSourceSoftware