Heng Chu

Learn More
Semantic hyper-linking 19921 has been proposed recently to use semantics with hyper-linking [Lee and Plaisted, 19921, an instance-based theorem proving technique. Ground instances are generated until an unsat-isfiable ground set is obtained; semantics is used to greatly reduce the search space. One disadvantage of semantic hyper-linking is,that large ground(More)
  • 1