Get the latest tech news
Accidentally writing a fast SAT solver
where my words occasionally escape /dev/null
Just like how Fleming discovered penicillin or how Spencer invented the microwave (okay, not that drastic), what started as a simple tool to help with course registration turned out to be very different than expected. The backtracking algorithm that helped avoid time conflicts in schedules is the same one that efficiently searches for satisfying assignments in boolean formulas - solving even complex requirements in under 100ms. Whether you're trying to place queens on a chessboard, schedule university classes, or solve boolean formulas, the core challenge remains similar — finding valid combinations while ruling out impossible ones early.
Or read this on Hacker News