A New Algorithm for Computing Theory Prime Implicates Compilations

Pierre Marquis, Samira Sadaoui. A New Algorithm for Computing Theory Prime Implicates Compilations. In AAAI/IAAI, Vol. 1. pages 504-509, 1996.

Possibly Related Publications

The following publications are possibly variants of this publication: