3 ms·The Boolean Satisfiability Problem [Sat] and Sat Solvers in 5 Mins (Or More)2 points by archibaldJ 7y ago