Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Baumgartner, P., Furbach, U., Niemelä, I.: Hyper tableaux. In: Orłowska, E., Alferes, J.J., Moniz Pereira, L. (eds.) JELIA 1996. LNCS(LNAI), vol. 1126, pp. 1–17. Springer, Heidelberg (1996)
2. Bayardo, R.J., Pehoushek, J.D.: Counting models using connected components. In: AAAI-2000, pp. 157–162 (2000)
3. Bry, F., Yahya, A.H.: Positive unit hyperresolution tableaux and their application to minimal model generation. J. Autom. Reason. 25(1), 35–82 (2000)
4. Darwiche, A.: Decomposable negation normal form. JACM 48(4), 608–647 (2001)
5. Darwiche, A.: New advances in compiling CNF to decomposable negation normal form. In: ECAI 2004, pp. 328–332 (2004)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献