CDCL
from 2023-03
CDCL
5

(=DPLL ) Conflict Graph

()
decision side ""
1 Unique Implication Point
Implication Graph
First UIP cut decision side

使
Conflict decision level
decision level
decision level 1
Unique Implication Point