FÓRMULAS CON SIGNO

En este artículo, se hace una descripción breve del problema SAT signado (SAT Signed). Las fórmulas signadas son un lenguaje para la representación del conocimiento [1], que se encuentra ubicado en la intersección de propagación de restricciones (CP), Lógica multivaluada (MVL) y programación lógica...

Descripción completa

Detalles Bibliográficos
Autores Principales: Becerra Correa, Nelson, Altamirano Carmona, Edgar
Formato: Artículo (Article)
Lenguaje:Español (Spanish)
Publicado: Universidad Distrital Francisco José de Caldas 2013
Materias:
SAT
Acceso en línea:http://hdl.handle.net/11349/21353