4 ms·Understanding SAT by Implementing a Simple SAT Solver in Python (2014)3 points by dimfeld 8y ago