Facoltà di Ingegneria
Elettronica dell'Università di Brescia
Intelligenza Artificiale
Catalin Roman
croman@neolt.it
| Revisione |
|
| Revision v1.1 |
29/03/2001 |
Abstract
Introduzione
Procedure complete
Procedure di approssimazione
Phase transition
Applicazioni
Walksat
Relsat
Satz
Novelty
Conclusioni
Biblioteche di benchmarck ed altre risorse
Bibliografia e altri documenti riguardanti la
sodisfacibilità proposizionale
Downloads