Graph colorability, resolution and Davis-Putnam procedure
Progetto per il corso di "Metodi per il ragionamento automatico"
Università degli studi di Milano, anno 2000-01)
| Autori | Luca Castelli Aleardi (Dip. di Matematica) |
| Aldo Corbisiero, Nicole Grassi (Dip. di Scienze dell'Informazione) |