Methods for SAT- a Survey Robert Glaubius CSCE 976 May 6, 2002 SAT: Outline Definitions Solving SAT Testing SAT Attempted Contribution Conclusions SAT: The Propositional…