Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/10459.1/47674

Títol:	Una introducción a los algoritmos de satisfactibilidad; An Introduction to Satisfiability Algorithms
Autor/a:	Ansótegui Gil, Carlos José; Manyà Serres, Felip
Notes:	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.
Matèries:	-Algorismes
Drets:	(c) Asociación Española para la Inteligencia Artificial (AEPIA), 2003
Tipus de document:	article publishedVersion
Publicat per:	Asociación Española para la Inteligencia Artificial (AEPIA)
Compartir:

Text complet d'aquest document

Mostra el registre complet del document