1
Clausola di conflitto guidata Chiarimento del backtracking di apprendimento
Sulla pagina di Wikipedia qui descrive abbastanza bene l'algoritmo CDCL (e sembra che le foto siano state prese da diapositive create da Sharad Malik a Princeton). Tuttavia, quando si descrive come tornare indietro tutto ciò che dice è "al punto appropriato". MiniSAT utilizza anche una variante dell'algoritmo CDCL, quindi ho …