Benchmark problems in which equality plays the major role
Description:
We have recently heard rumors that researchers are again studying paramodulation (Wos87) in the context of strategy for its control. In part to facilitate such research, and in part to provide test problems for evaluating other approaches to equality-oriented reasoning, we offer in this article a set of benchmark problems in which equality plays the dominant role. The test problems are taken from group theory, Robbins algebra, combinatory logic, and other areas. For each problem, we include app…
more
Date:
January 1, 1992
Creator:
Lusk, E. & Wos, L.
Item Type:
Refine your search to only
Article
Partner:
UNT Libraries Government Documents Department