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