S-SAT - Sapienza SAT 06
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 3.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa S-SAT - Sapienza SAT
Durante un corso presso l'Università "La Sapienza" di Roma ho sviluppato un risolutore SAT completamente funzionante basato sulla propagazione delle unità e sul backtracking; può leggere i file DIMACS ed elaborare formule cnf di qualsiasi lunghezza (non ci sono restrizioni sul numero di valori letterali).