Tecniche di sfoltimento delle soluzioni: applicazioni ai modelli digitali