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...
| Autores Principales: | , |
|---|---|
| Formato: | Artículo (Article) |
| Lenguaje: | Español (Spanish) |
| Publicado: |
Universidad Distrital Francisco José de Caldas
2013
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11349/21353 |