An optimality result for clause form translation
- 31 October 1992
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 14 (4) , 283-301
- https://doi.org/10.1016/0747-7171(92)90009-s
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A Structure-preserving Clause Form TranslationJournal of Symbolic Computation, 1986
- Seventy-five problems for testing automatic theorem proversJournal of Automated Reasoning, 1986