The talk begins by highlighting advancements through the 1980s, 1990s, and
recently.  Some discussion of why the results are interesting from the 
perspective of people working outside of the area of probabilistic 
analysis of propositional Satisfiability follows.  This includes
mention of the correlation with empirical results, e.g. the unit clause 
rule.  Then the talk will concentrate on several techniques that have
been the workhorse for achieving probabilistic results.  This will 
include a discussion of probabilities of structural properties (e.g. 
those exploited in classes such as extended Horn, Balanced, q-Horn, SLUR,
and so on) in addition to probabilities of being satisfiable.  Possibly
included will be a discussion of spectral results such as those obtained
recently by Goerdt.