Wikipedia:Articles for deletion/Boolean SAT/SMT Solver Foundational Lectures 2011