http://bjlkeng.github.io/enTue, 28 Jul 2026 02:38:04 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttp://bjlkeng.github.io/posts/accessible-satisfiability/Brian Keng<div><p>Even though it was just a scant few years ago, my research in grad school seems like it was from another lifetime. Nowadays I deal with data and most of my code revolves around manipulating and extracting interesting insights from it. However in my previous life I spent quite a bit of time dealing with satisfiability problems. So before I start writing about data and related topics, I thought I'd kick it old school and write about some topics from my formative years.</p> <p><a href="http://bjlkeng.github.io/posts/accessible-satisfiability/">Read more…</a> (17 min remaining to read)</p></div>BooleanformalmathjaxNP-CompleteSATverificationhttp://bjlkeng.github.io/posts/accessible-satisfiability/Sun, 04 Oct 2015 00:28:04 GMT