Una introducción a los algoritmos de satisfactibilidad Reportar como inadecuado




Una introducción a los algoritmos de satisfactibilidad - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Felip Manyà ;Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial 2003, 7 (20)

Autor: Carlos Ansotegui

Fuente: http://www.redalyc.org/


Introducción



Inteligencia Artificial.
Revista Iberoamericana de Inteligencia Artificial ISSN: 1137-3601 revista@aepia.org Asociación Española para la Inteligencia Artificial España Ansotegui, Carlos; Manyà, Felip Una introducción a los algoritmos de satisfactibilidad Inteligencia Artificial.
Revista Iberoamericana de Inteligencia Artificial, vol.
7, núm.
20, 2003 Asociación Española para la Inteligencia Artificial Valencia, España Disponible en: http:--www.redalyc.org-articulo.oa?id=92572004 Cómo citar el artículo Número completo Más información del artículo Página de la revista en redalyc.org Sistema de Información Científica Red de Revistas Científicas de América Latina, el Caribe, España y Portugal Proyecto académico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto ARTÍCULO An Introduction to Satisfiability Algorithms Carlos Ansotegui, Felip Manyà * Dpto.
de Informática e Ing.
Industrial Universitat de Lleida Jaume II, 69, E-25001 Lleida, España e-mail: {carlos, felip}@eup.udl.es In this paper we present an introduction to satisfiability algorithms.
Since most complete SAT solvers (e.g.
Satz, SATO, GRASP, and Chaff) are based on the Davis-Putnam procedure, we first describe in detail that procedure.
Then, we present the improvements that can be incorporated into the DavisPutnam Procedure in order to develop a competitive SAT solver: optimized data structures, variable selection heuristics, non-chronological backtracking, conflict-driven learning, and restarts.
Finally, we describe GSAT and WalkSAT, which are the most widely used local search algorithms for solving SAT. Una introducción a los algoritmos de satisfactibilidad Carlos Ansótegui* Dpto.
de Informática e Ing.
Industrial Universitat de Lleida Jaume II, 69, E-25001 Lleida, España carlos@eup.udl.es Felip Manyà Dpto.
de Informática e Ing.
Industrial Universitat de Lleida Jaume II, 69, E-25001 Lleida, España felip@eup.udl.es Resumen En este artı́c...





Documentos relacionados