PAC Meditation on Boolean Formulas. - Bruno Apolloni; Fabio Baraghini; Giorgio Palmas (SARA, 2002)