Verificación de sistemas SAT

De WikiGLC

Revisión del 14:18 22 oct 2008 de Jalonso (discusión | contribuciones) (New page: El objetivo es construir en ACL2 un sistema SAT cuya eficiencia sea comparable a los más avanzados y formalmente verificado en ACL2.)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Saltar a: navegación, buscar

El objetivo es construir en ACL2 un sistema SAT cuya eficiencia sea comparable a los más avanzados y formalmente verificado en ACL2.

Obtenido de «https://www.glc.us.es/web/index.php?title=Verificación_de_sistemas_SAT&oldid=172»