Le tecniche per modellare vincoli logici usando variabili booleane si trovano nel cap. 11 delle dispense.