Ilustración de las decisiones tomadas por la fase de anticipación y los cinco cubos resultantes. Las heurísticas de decisión eligen las variables (círculos). Las heurísticas de corte eligen cuándo dejar de dividir el problema. Los solucionadores de CDCL luego resolverán los problemas parciales (rectángulos) de forma independiente.
Este archivo contiene información adicional, probablemente agregada desde la cámara digital o el escáner utilizado para crearlo o digitalizarlo.
Si el archivo se ha modificado desde su estado original, es posible que algunos detalles no reflejen completamente el archivo modificado.
