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