Alan Mishchenko, Robert K. Brayton. Simplification of Non-Deterministic Multi-Valued Networks. In IWLS. pages 333-338, 2002.
@inproceedings{MishchenkoB02a,
title = {Simplification of Non-Deterministic Multi-Valued Networks},
author = {Alan Mishchenko and Robert K. Brayton},
year = {2002},
researchr = {https://researchr.org/publication/MishchenkoB02a},
cites = {0},
citedby = {0},
pages = {333-338},
booktitle = {IWLS},
}