ResumenEl registro de dependencias en línea, mediante algún mecanismo de registro de dependencias, es una de las técnicas más utilizadas para calcular conflictos en el Diagnóstico basado en Consistencia.No obstante, dados los problemas de eficiencia que conlleva, se han propuesto distintas alternativas en los últimos años.Entre ellas, se puede considerar que los métodos topológicos forman una de las opciones más asentadas.Dentro de esta vertiente, cabe destacar los trabajos relacionados con la compilación fuera de línea, o pre-compilación.Este trabajo repasa los sistemas que usan algún tipo de pre-compilación,