PSAT

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Circa PSAT

Si tratta di un progetto volto a produrre software per decidere il problema della soddisfacibilità probabilistica (PSAT) secondo un approccio logico.