Show simple item record

dc.contributor.authorAnsótegui Gil, Carlos José
dc.contributor.authorManyà Serres, Felip
dc.date.accessioned2014-12-18T13:50:01Z
dc.date.available2014-12-18T13:50:01Z
dc.date.issued2003
dc.identifier.issn1137-3601
dc.identifier.urihttp://hdl.handle.net/10459.1/47674
dc.description.abstractEn 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.ca_ES
dc.language.isospaca_ES
dc.publisherAsociación Española para la Inteligencia Artificial (AEPIA)ca_ES
dc.relation.isformatofReproducció del document publicat a: http://journal.iberamia.orgca_ES
dc.relation.ispartofInteligencia artificial: revista iberoamericana de inteligencia artificial, 2003, vol.7, núm.20, p.43-56ca_ES
dc.rights(c) Asociación Española para la Inteligencia Artificial (AEPIA), 2003ca_ES
dc.subject.otherAlgorismesca_ES
dc.titleUna introducción a los algoritmos de satisfactibilidadca_ES
dc.title.alternativeAn Introduction to Satisfiability Algorithmsca_ES
dc.typearticleca_ES
dc.identifier.idgrec011182
dc.type.versionpublishedVersionca_ES
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca_ES


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record