Extracción de Testigos
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El proceso de producir un testigo concreto, contraejemplo o asignación satisfactoria a partir de una prueba, refutación, modelo o rastro del solver, de modo que las afirmaciones existenciales o los resultados de satisfacibilidad queden atestiguados por artefactos explícitos.