Author:
Bubeck Uwe,Kleine Büning Hans
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference5 articles.
1. A note on disjunctive form tautologies;Bauer;SIGACT News,1973
2. Propositional Logic: Deduction and Algorithms;Kleine Büning,1999
3. A. Meyer, L. Stockmeyer, Word problems requiring exponential time, preliminary report, in: Proc. 5th ACM Symp. on Theory of Computing (STOC'73), 1973, pp. 1–9
4. A structure-preserving clause form translation;Plaisted;Journal of Symbolic Computation,1986
5. G. Tseitin, On the complexity of derivation in propositional calculus, in: A. Silenko (Ed.), Studies in Constructive Mathematics and Mathematical Logic, Part II, 1970, pp. 115–125
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献