PPT Slide

DDB & EBL

N

1

: {x=A}

N

2

: {x=

A & y =

B }

N

3

: {x=

A & y =

B & v = D }

N

4

: {x=

A & y =

B & v = D & u = C }

N

5

: {x=

A & y =

B & v = D & u = C & w= E }

N

6

: {x=

A & y =

B & v = D & u = C & w= D }

x

¬

A

y

¬

B

v

¬

D

w

¬

E

w

¬

D

u

¬

C

E6: y = B & w = D

E5: x=A & w=E

E4: y = B & x=A

y=B

x=A

y = B & x=A

y = B & x=A

x=A

Resume

Search

regression

Interior node

explanation

DDB: Skip a level if the regressed

Explanation remains the same

EBL: Store interior node failure

Explanations

Previous slide

Next slide

Back to first slide

View graphic version