Next: The Final Result: Up: Allowing Variables in Previous: Allowing Variables in

The 1V-Algorithm

The 1V-Algorithm is subsumed be the MV-Algorithm; only the result of using it on our norm example is presented (this can be regarded as being obtained from the `1N' DAX in section 11.1 by propagating the branch for clause 1 down to the leaves of the second partition, overwriting fail nodes):

Michael Sintek -