Una dispensetta sull'"appiattimento" di enunciati proposizionali in equisoddisfacibile forma 3CNF, messa a confronto con la riduzione del problema H10 all'omologo riguardante polinomi di grado al piú 4.
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 2_riduzioneA3CNF.pdf