Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure.

Thierry Castell

Browse the full ICTAI paper archive.