SAT-Based Complete Don’t-Care Computation for Network Optimization
Design, Automation and Test in Europe
R.K. Brayton