El trabajo actual sobre la mejora del algoritmo se ha realizado en tres direcciones: la definición de criterios diferentes para la elección de los literales de ramificación, la definición de nuevas estructuras de datos para hacer el algoritmo más rápido, especialmente la parte sobre la propagación de la unidad; y la definición de las variantes del algoritmo de vuelta atrás básico.