https://123dok.net/document/y8gpgw80-sat-based-complete-don-care-computation-network-optimization.html