The improved use of unit clauses in the great theorem prover /
The Great Theorem Prover (TGTP) based on the resolution refutation method for first-order logic has been developed and extended. The new version, TGTP(Z), improves the usage of unit clauses in searching for a unit refutation. In this thesis, we first analyzed how a hash technique was used for a refu...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1993
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=69515 |