Indietro |
Relazione completa nel formato (.doc compresso 1.138 KB), (.pdf 1.222 KB).
Piccolo manuale d'uso nel formato (.doc compresso 26 KB), (.pdf 51 KB).
Sat-pack che include i source degli algoritmi ed esempi di test (.zip 1.672 KB).
Indietro | ||
Bibliografia |
SAT solver |
SAT solver |