Dr. Anna Latour<p>Last week, I presented the work I did with prof. Kuldeep Meel and prof. Arunabha Sen at IJCAI 2023.</p><p>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.</p><p>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!</p><p>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</p><p><a href="https://mathstodon.xyz/tags/IJCAI2023" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IJCAI2023</span></a> <a href="https://mathstodon.xyz/tags/IJCAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IJCAI</span></a> <a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicMastodon</span></a> <a href="https://mathstodon.xyz/tags/FOSS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FOSS</span></a> <a href="https://mathstodon.xyz/tags/PostdocLife" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PostdocLife</span></a> <a href="https://mathstodon.xyz/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ConstraintProgramming</span></a> <a href="https://mathstodon.xyz/tags/BooleanSatisfiability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BooleanSatisfiability</span></a> <a href="https://mathstodon.xyz/tags/Complexity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Complexity</span></a> <a href="https://mathstodon.xyz/tags/AcademicChatter" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicChatter</span></a> <a href="https://mathstodon.xyz/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenSource</span></a> <a href="https://mathstodon.xyz/tags/OpenSourceSoftware" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenSourceSoftware</span></a></p>