La logique contrainte propose des gadgets et est utilisée pour prouver la dureté de généralisation de problèmes sur les graphes comme ensemble indépendant.
Les impuretés azotées empêchent le mouvement de la structure et place cette dernière sous une contrainte compressive, augmentant par-là sa dureté et sa solidité.