F. Crowet, Marc Davio, C. Dierieck, J. Durieu, G. Louis, Chantal Ykman-Couvreur. PHIFACT, a Boolean Preprocessor for Multi-Level Logic Synthesis. In ICCAD. pages 506-509, 1990.
@inproceedings{CrowetDDDLY90, title = {PHIFACT, a Boolean Preprocessor for Multi-Level Logic Synthesis}, author = {F. Crowet and Marc Davio and C. Dierieck and J. Durieu and G. Louis and Chantal Ykman-Couvreur}, year = {1990}, tags = {C++, logic}, researchr = {https://researchr.org/publication/CrowetDDDLY90}, cites = {0}, citedby = {0}, pages = {506-509}, booktitle = {ICCAD}, }