Return to Article Details Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively Download Download PDF