Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad
Fuente:
Redalyc
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artículo científico |
| Lingua: | es |
| Pubblicazione: |
Instituto Politécnico Nacional
1999
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1876429360467017728 |
|---|---|
| author | Guillermo de Ita Luna |
| author_facet | Guillermo de Ita Luna |
| contents | Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad Guillermo de Ita Luna Computación 1999 artículo científico 1405-5546 https://www.redalyc.org/articulo.oa?id=61520309 es http://www.redalyc.org/revista.oa?id=615 Computación y Sistemas application/pdf Instituto Politécnico Nacional Computación y Sistemas (México) Num.2-3 Vol.2 |
| format | Artículo científico |
| id | redalyc_61520309 |
| institution | Redalyc |
| language | es |
| publishDate | 1999 |
| publisher | Instituto Politécnico Nacional |
| spellingShingle | Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad Guillermo de Ita Luna Computación Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad Guillermo de Ita Luna Computación 1999 artículo científico 1405-5546 https://www.redalyc.org/articulo.oa?id=61520309 es http://www.redalyc.org/revista.oa?id=615 Computación y Sistemas application/pdf Instituto Politécnico Nacional Computación y Sistemas (México) Num.2-3 Vol.2 |
| title | Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad |
| topic | Computación |
| url | https://www.redalyc.org/articulo.oa?id=61520309 |