A Survey Of Lower Bounds For Satisfiability And Related Problems by Dieter Melkebeek van & Dieter van Melkebeek