Lower bounds for the lengths of refutations
- 作者Hai-Ping Ko; David McAllester; Mark E. Nadel
- 卷第17卷
- 期第1期
- 印刷ISSN0743-1066
- 文件大小2392.06KB
- 发表时间1993
- DOI10.1016/0743-1066(93)90008-5
- 页码31-58
同作者推荐
Distributed processing of logic programsWolfson, Ouri; Silberschatz, Avi · ACM SIGMOD Record · 1988
[ACM Press the 1988 ACM SIGMOD international conference - Chicago, Illinois, United States (1988.06.01-1988.06.03)] Proceedings of the 1988 ACM SIGMOD international conference on Management of data - SIGMOD '88 - Distributed processing of logic programsWolfson, Ouri; Silberschatz, Avi · 1988