Return to Article Details Deciding Satisfiability in the Twinkling of an Eye Download PDF