Global Search

V = {v1,v2}

C = {v1 ? v2,v1 ? v2,v1 ? v2}

FF

FT

TF

TT

F?

?T

T?

?F

??

v1=F

v1=T

v2=F

v2=T

v2=F

v2=T

solution

Search Tree

Previous slide

Next slide

Back to first slide

View graphic version