Riduzione di enunciati a forma 3CNF equisoddisfacibile
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 2_riduzioneA3CNF.pdf