3 ms·On the Unreasonable Effectiveness of SAT Solvers [pdf]2 points by nbaksalyar 6y agovmception 6y ago> Boolean satisfiability (SAT)