33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies (1996)

by William Mccune
Citations:24 - 5 self

Documents Related by Co-Citation

295 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
65 Basic paramodulation and superposition – L Bachmair, H Ganzinger, C Lynch, W Snyder - 1992
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
130 Solution of the Robbins Problem – William Mccune - 1997
494 Simple word problems in universal algebras – D E Knuth, P Bendix - 1970
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
1082 A computing procedure for quantification theory – M DAVIS, H PUTNAM - 1960
6294 A mathematical theory of communication – C E Shannon - 1948
711 The Art of Computer Programming, Volume 3: Sorting and Searching – D E Knuth - 1998