Lezione 4.1: vincoli logici in tutte le salse
Completion requirements
Variabili binare e variabili logiche. Il problema di Casciana Jones. Calcolo logico con variabili binarie, la versione giusta e quella sbagliata. Il problema SAT. (finita presto per problema tecnico)