S-SAT - Sapienza SAT 06
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 3.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over S-SAT - Sapienza SAT
Tijdens een cursus aan de Universiteit "La Sapienza" in Rome ontwikkelde ik een volledig werkende SAT-oplosser op basis van unit propagatie en backtracking; het kan DIMACS-bestanden lezen en cnf-formules van elke lengte verwerken (er zijn geen beperkingen op het aantal literalen).