Author:
Hähnle Reiner,Murray Neil V.,Rosenthal Erik
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. D’Agostino, M., Mondadori, M.: The taming of the cut. Journal of Logic and Computation 4(3), 285–319 (1994)
2. Bryant, R.E.: Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys 24(3), 293–318 (1992)
3. Cadoli, M., Donini, F.M.: A survey on knowledge compilation. AI Communications 10, 137–150 (1997)
4. Darwiche, A.: Compiling devices: A structure-based approach. In: Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 156–166. Morgan Kaufmann, San Francisco (1998)
5. Darwiche, A.: Decomposable negation normal form. J. ACM 48(4), 608–647 (2001)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献