Conditional lower bounds based on SAT

Date:

You can find the german slides here.