Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
Get in touch with Bart
Contact Bart, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck RackActions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Articles
[2511.10273] Certified Branch-and-Bound MaxSAT Solving (Extended Version)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
The Possible Asylum
Advanced search The American Mathematical Monthly Latest Articles Submit an article Journal homepage Full Article Figures & data References Citations Metrics Reprints & Permissions Read this article /doi/full/10.1080/00029890.2024.2416376?needAccess=true Abstract Last year, Jeremy Avigad and coauthors published a paper in this journal entitled “The Impossible Asylum” showing, using automated reasoning tools, that the last puzzle of Raymond Smullyan’s article “The Asylum of Doctor Tarr and...
Actions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Get in touch with Bart
Contact Bart, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack