Indietro

Home

Avanti


13      Downloads

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

Home

Avanti

Bibliografia

SAT solver

SAT solver