Introduit le modèle de subcube aléatoire (RSM) pour les problèmes de satisfaction des contraintes, explorant sa structure, les transitions de phase et le gel variable.
Explore les variables aléatoires, les algèbres sigma, l'indépendance et les mesures invariantes de décalage, en mettant l'accent sur les ensembles de cylindres et les algèbres.
