Diferencia entre revisiones de «Verificación de sistemas SAT»
(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.) |
(Sin diferencias)
|
Revisión del 14:18 22 oct 2008
El objetivo es construir en ACL2 un sistema SAT cuya eficiencia sea comparable a los más avanzados y formalmente verificado en ACL2.
