Sept. 19, 2002

Workshop on
Boolean Problems

Why consider ND networks?

1.Don’t cares are a form of non-determinism. They generalize
to non-determinism when considering multi-valued
logic

2.Multi-valued
domains can be used to explore larger optimization spaces.

3.ND
arises naturally when considering the flexibility of implementing
a node in a network

4.Given a
ND relation, the minimum well-defined ND sub-relation
is always smaller than the minimum deterministic
one

5.Can be
used to compile software to evaluate logic