dc.contributor.author |
Ansótegui Gil, Carlos José |
dc.contributor.author |
Manyà Serres, Felip |
dc.date |
2014-12-18T13:50:01Z |
dc.date |
2014-12-18T13:50:01Z |
dc.date |
2003 |
dc.identifier |
1137-3601 |
dc.identifier |
http://hdl.handle.net/10459.1/47674 |
dc.identifier.uri |
http://hdl.handle.net/10459.1/47674 |
dc.description |
En este artículo se presenta una introducción a los algoritmos de satisfactibilidad.
Primero, se describe el procedimiento de Davis-Putnam, que constituye la base de la
mayoría de algoritmos completos (por ejemplo: Satz, SATO, GRASP y Chaff). Después,se presentan las mejoras que pueden incorporarse al procedimiento de Davis-Putnam para obtener un algoritmo competitivo: estructuras de datos optimizadas, heurísticas de selecciónn de variable, backtracking no cronológico, aprendizaje de cláusulas, aleatorización y reinicios. Finalmente, se describen GSAT y WalkSAT, que son los algoritmos incompletos de búsqueda local más utilizados. |
dc.language |
spa |
dc.publisher |
Asociación Española para la Inteligencia Artificial (AEPIA) |
dc.relation |
Reproducció del document publicat a: http://journal.iberamia.org |
dc.relation |
Inteligencia artificial: revista iberoamericana de inteligencia artificial, 2003, vol.7, núm.20, p.43-56 |
dc.rights |
(c) Asociación Española para la Inteligencia Artificial (AEPIA), 2003 |
dc.rights |
info:eu-repo/semantics/openAccess |
dc.subject |
Algorismes |
dc.title |
Una introducción a los algoritmos de satisfactibilidad |
dc.title |
An Introduction to Satisfiability Algorithms |
dc.type |
article |
dc.type |
publishedVersion |