miniblog.

← Back to all posts
Aug 22, 2018 at 18:41
Elegant demo of SAT solvers: take a list of locks and which keys should unlock the (e.g. master keys unlock multiple), plus a set of manufacturing constraints. Feed it to a solver and calculate how to cut all the keys! https://codingnest.com/modern-sat-solvers-fast-neat-and-underused-part-2-of-n/ A real industry usecase of SAT.
Modern SAT solvers: fast, neat and underused (part 2 of N)
Modern SAT solvers: fast, neat and underused (part 2 of N)
The previous post in this series was a quick introduction to the world of SAT and SAT solvers. In this post, we will convert a harder real-world problem, namely _master-key system_, into SAT and explore some of the more advanced techniques used to efficiently convert problems to SAT.

Related Posts

Jun 4, 2018 at 18:24
I'm curious to see what impact Microsoft's purchase of GitHub has on the long term prospects of Atom. Atom is a lovely editor pushing the boundaries of web tech amd editor design in several areas, but its usecase is similar to VS Code. Would MS want to fund three editor teams?
Mar 20, 2014 at 15:45
Saw a very sophisticated IPython demo today! Nice to see practical uses of it. The target usecase is very different from a slime repl.