Describir: Boolean Satisfiability: From Theoretical Hardness to Practical Success.