Implicit in their work is the following more general statement: The conjectured threshold function is an upper bound on the actual threshold provided that i) the two graphs satisfy some balancedness condition, and ii) the so-called K{\L}R-Conjecture is true for the sparser of the two graphs. We present a new upper bound proof that does not depend on the K{\L}R-Conjecture. Together with earlier lower bound results [Marciniszyn, Skokan, S., Steger (2006)], this yields in particular a full proof of the Kohayakawa-Kreuter conjecture for the case where both graphs are cliques.
Joint work with Yoshiharu Kohayakawa (Sao Paulo) and Mathias Schacht (Hamburg).