Studio di algoritmi di inferenza in approssimazione CVM per modelli spin glass