Tecniche di riduzione a forma normale di istanze del decimo problema di Hilbert e del problema della soddisfacibilità proposizionale
Completion requirements
PDF
Click 3_riduzioneA3CNF.pdf link to view the file.