publication venue for Tight lower bounds for certain parameterized NP-hard problems 2004 On the complexity of Diophantine geometry in low dimensions 1999 Circuit bottom fan-in and computational power 1997 Tight bound on Johnson's Algorithm for Max-SAT 1997