Publisher
Springer International Publishing
Reference21 articles.
1. Caruso, G.: A local selection algorithm for switching function minimization. IEEE Trans. Comput. C-33(1), 91–97 (1984)
2. Castell, T.: Computation of prime implicates and prime implicants by a variant of the Davis and Putnam procedure. In: Eigth International Conference on Tools with Artificial Intelligence, ICTAI 1996, pp. 428–429 (1996)
3. Coudert, O., Madre, J.C.: Implicit and incremental computation of primes and essential primes of Boolean functions. In: Proceedings of the 29th Design Automation Conference, Anaheim, California, USA, pp. 36–39 (1992)
4. Coudert, O., Madre, J.C.: A new method to compute prime and essential prime implicants of Boolean functions. In: Knight, T., Savage, J. (eds.) Proceedings of the 1992 Brown/MIT Conference on Advanced Research in VLSI and Parallel Systems, pp. 113–128 (1992)
5. Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229–264 (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献