Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates.

Anavai Ramesh, Neil V. Murray

Browse the full LPAR paper archive.