mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#constrainthandlingrules

0 posts0 participants0 posts today
Brian Rogers<p>I'm slowly reading "Essentials of Constraint Programming" by Thom Frühwirth and Slim Abdennadher. I have been enjoying learning <a href="https://infosec.exchange/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a>, <a href="https://infosec.exchange/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a>, and <a href="https://infosec.exchange/tags/CHR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CHR</span></a> <a href="https://infosec.exchange/tags/ConstraintHandlingRules" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ConstraintHandlingRules</span></a>, but I am struggling with this book. I'm not familiar with the mathematical notation and I've also just not had much free time to read it.<br><a href="https://www.goodreads.com/book/show/11053064-essentials-of-constraint-programming" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">goodreads.com/book/show/110530</span><span class="invisible">64-essentials-of-constraint-programming</span></a></p>