Algoritmo de paja
Contenido keyboard_arrow_down
Chaff es un algoritmo para resolver instancias del problema de satisfacibilidad booleana en programación. Fue diseñado por investigadores de la Universidad de Princeton. El algoritmo es una instancia del algoritmo DPLL con una serie de mejoras para una implementación eficiente.
Implementaciones
Algunas implementaciones disponibles del algoritmo en software son mChaff y zChaff, siendo esta última la más conocida y utilizada. zChaff fue escrito originalmente por el Dr. Lintao Zhang, ahora en Microsoft Research, de ahí la “z”. Ahora lo mantienen investigadores de la Universidad de Princeton y está disponible para descargar como código fuente y binarios en Linux. zChaff es gratuito para uso no comercial.
Más resultados...