S-SAT - Sapienza SAT 06
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 3.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de S-SAT - Sapienza SAT
Durante un curso en University "La Sapienza" en Roma desarrollé un solucionador SAT totalmente en funcionamiento basado en la propagación y retroceso de unidades; puede leer archivos DIMACS y procesar fórmulas cnf de cualquier longitud (no hay restricciones en el número de literales).