5 ms·(2009) Boolean Satisfiability: From Theoretical Hardness to Practical Success1 points by tim_sw 10y ago