Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

292
active users

shakedown.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#booleansatisfiability

0 posts0 participants0 posts today
Constraints Journal<p>Happy Monday everyone!</p><p>Here's something to brighten up the start of your week: a paper about solving mathemusical problems with ILP and SAT, from our latest issue:</p><p>Computing aperiodic tiling rhythmic canons via SAT models<br><a href="https://link.springer.com/article/10.1007/s10601-024-09375-6" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/article/10.1</span><span class="invisible">007/s10601-024-09375-6</span></a></p><p>To make this Monday extra sweet: the authors use MapleSAT!</p><p><a href="https://mastodon.acm.org/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <br><a href="https://mastodon.acm.org/tags/Music" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Music</span></a> <br><a href="https://mastodon.acm.org/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ConstraintProgramming</span></a><br><a href="https://mastodon.acm.org/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <br><a href="https://mastodon.acm.org/tags/Rhythm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rhythm</span></a> <br><a href="https://mastodon.acm.org/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AcademicMastodon</span></a> <br><a href="https://mastodon.acm.org/tags/BooleanSatisfiability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BooleanSatisfiability</span></a> <br><a href="https://mastodon.acm.org/tags/AperiodicTiling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AperiodicTiling</span></a> <br><a href="https://mastodon.acm.org/tags/MapleSAT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MapleSAT</span></a><br><a href="https://mastodon.acm.org/tags/ILP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ILP</span></a> <br><a href="https://mastodon.acm.org/tags/CombinatorialAlgorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CombinatorialAlgorithms</span></a> <br><a href="https://mastodon.acm.org/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ArtificialIntelligence</span></a></p>
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 noreferrer" target="_blank">#<span>IJCAI2023</span></a> <a href="https://mathstodon.xyz/tags/IJCAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IJCAI</span></a> <a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AcademicMastodon</span></a> <a href="https://mathstodon.xyz/tags/FOSS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FOSS</span></a> <a href="https://mathstodon.xyz/tags/PostdocLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostdocLife</span></a> <a href="https://mathstodon.xyz/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ConstraintProgramming</span></a> <a href="https://mathstodon.xyz/tags/BooleanSatisfiability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BooleanSatisfiability</span></a> <a href="https://mathstodon.xyz/tags/Complexity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Complexity</span></a> <a href="https://mathstodon.xyz/tags/AcademicChatter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AcademicChatter</span></a> <a href="https://mathstodon.xyz/tags/OpenSource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenSource</span></a> <a href="https://mathstodon.xyz/tags/OpenSourceSoftware" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenSourceSoftware</span></a></p>
ExploreLive feeds
About