Dieter Melkebeek van

• A Survey of Lower Bounds for Satisfiability and Related Problems