HASH-TABLE : INFO

HASH-TABLE is a flag setting or other piece of information.
A setting for PROP-STRATEGY.
In propositional proof search, one can add a connection to a mating only
if it is not already present in the hash-table.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage