MastodonTech.de

Constraints JournalHappy Monday everyone!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:Computing aperiodic tiling rhythmic canons via SAT models <a href="https://link.springer.com/article/10.1007/s10601-024-09375-6" rel="nofollow noopener" translate="no" target="_blank">https://link.springer.com/article/10.1007/s10601-024-09375-6</a>To make this Monday extra sweet: the authors use MapleSAT!<a href="https://mastodon.acm.org/tags/Mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mathematics</a> <a href="https://mastodon.acm.org/tags/Music" class="mention hashtag" rel="nofollow noopener" target="_blank">#Music</a> <a href="https://mastodon.acm.org/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#ConstraintProgramming</a> <a href="https://mastodon.acm.org/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mastodon.acm.org/tags/Rhythm" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rhythm</a> <a href="https://mastodon.acm.org/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#AcademicMastodon</a> <a href="https://mastodon.acm.org/tags/BooleanSatisfiability" class="mention hashtag" rel="nofollow noopener" target="_blank">#BooleanSatisfiability</a> <a href="https://mastodon.acm.org/tags/AperiodicTiling" class="mention hashtag" rel="nofollow noopener" target="_blank">#AperiodicTiling</a> <a href="https://mastodon.acm.org/tags/MapleSAT" class="mention hashtag" rel="nofollow noopener" target="_blank">#MapleSAT</a> <a href="https://mastodon.acm.org/tags/ILP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ILP</a> <a href="https://mastodon.acm.org/tags/CombinatorialAlgorithms" class="mention hashtag" rel="nofollow noopener" target="_blank">#CombinatorialAlgorithms</a> <a href="https://mastodon.acm.org/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#ArtificialIntelligence</a>

Constraints JournalDear all,📓 This is the official account of the Constraints Journal (<a href="https://link.springer.com/journal/10601" rel="nofollow noopener" translate="no" target="_blank">https://link.springer.com/journal/10601</a>). 📣 We will use this account to notify you of new publications, extra materials, CfPs and special issues. 💬 We look forward to connecting with the CP community, and thank ACM for hosting.🚀 Please boost, tnx! <a href="https://mastodon.acm.org/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#AcademicMastodon</a> <a href="https://mastodon.acm.org/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#ArtificialIntelligence</a> <a href="https://mastodon.acm.org/tags/AutomatedReasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#AutomatedReasoning</a> <a href="https://mastodon.acm.org/tags/CombinatorialAlgorithms" class="mention hashtag" rel="nofollow noopener" target="_blank">#CombinatorialAlgorithms</a> <a href="https://mastodon.acm.org/tags/ComputationalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#ComputationalLogic</a> <a href="https://mastodon.acm.org/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#ConstraintProgramming</a> <a href="https://mastodon.acm.org/tags/OperationsResearch" class="mention hashtag" rel="nofollow noopener" target="_blank">#OperationsResearch</a> <a href="https://mastodon.acm.org/tags/Optimisation" class="mention hashtag" rel="nofollow noopener" target="_blank">#Optimisation</a> <a href="https://mastodon.acm.org/tags/Satisfiability" class="mention hashtag" rel="nofollow noopener" target="_blank">#Satisfiability</a>

Frühere Suchanfragen

Suchoptionen

Verwaltet von:

Serverstatistik:

#combinatorialalgorithms