Tecniche di riduzione a forma normale di istanze del decimo problema di Hilbert e del problema della soddisfacibilità proposizionale
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 3_riduzioneA3CNF.pdf