On Computing Prime Implicants and Prime Implicates.

Anavai Ramesh, George Becker, Neil V. Murray

Browse the full TABLEAUX paper archive.