sergeyb
bonked 23 Oct 2025 06:18 +0300
original: vaibhavsagar@recurse.social
It took me over a year, but the blog post version of my !!Con 2024 talk on SAT solvers is published! https://vaibhavsagar.com/blog/2025/10/22/satisfying-solutions/