PUC-SAT : um solucionador híbrido baseado nos algoritmos de Stalmarck e DPLL
| Autores: | , , |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Estado: | Versión publicada |
| Fecha de publicación: | 2010 |
| País: | Brasil |
| Institución: | Pontifícia Universidade Católica de Minas Gerais (PUC Minas) |
| Repositorio: | Biblioteca Digital de Teses e Dissertações da PUC_MG |
| Idioma: | portugués |
| OAI Identifier: | oai:/ibict:perga-oai/397414 |
| Acceso en línea: | http://bib.pucminas.br/teses/Informatica_SilvaFMM_1.pdf |
| Access Level: | acceso abierto |
| Palabra clave: | Algorítmos computacionais - Lógica simbólica e matemática - Algoritmos |
| Descripción no disponible. |