Finalmente, antes de presentar las conclusiones técnicas de este trabajo, se
mencionarán algunas conclusiones prácticas. Durante la realización de este trabajo, se
analizaron muchos algoritmos, se implementaron algunos de ellos, de los cuales algunos resultaron
sin el éxito esperado, sin embargo las aportaciones de estos fueron muchas, entre los algoritmos que
se desarrollaron están, implementar la búsqueda binaria al FQA, la construcción del FQT, un
algoritmo para resolver el problema de la disparidad, un algoritmo dinámico semejante a SAT [Nav99b] llamado DSAT
[CFG99], un algoritmo de búsqueda con los resultados arrojados por el algoritmo de esta tesis
(todos los vecinos más cercanos).