Nodes Explored
More
Fewer
Consistency Checks
BMJ2
BT
BJ
BMJ
BM-CBJ
CBJ
FC-CBJ
BM
BM-CBJ2
FC
Previous slide
Next slide
Back to first slide
View graphic version