TY  - RPRT
TI  - SAT-Based Complete Don't-Care Computation for Network Optimization
AU  - Alan Mishchenko
AU  - Robert K. Brayton
PY  - 2007
UR  - https://arxiv.org/abs/0710.4695
ID  - 0710.4695
ER  -