Tue, 17 Jan 2006 15:00 L3 Phase Transitions from Satisfiability Problems to Trees Andrea Montanari (LPT-ENS)