UMOP
U M O P
OBDD
UMOP
/

N

![0_image_0.png](0_image_0.png)

OBDD
BUDDY
BUDDY
OBDD
U M O P
NADL
7.1   Non- Deter ministic   Domains UMOP
M BP
N
7.1.1 DOMAINS TESTED BY MBP
M BP
N
M BP
NADL
UM OP
M BP
M BP
NADL