Journal of automated reasoning. 2000;25(1):1-34. doi: 10.1023/a:1006241826565 Q40.72025

Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution

用于检测与恢复极小性的高效算法——归结规则的正则限制的扩展

DOI: 10.1023/a:1006241826565

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！