eigold
SAT Goldberg EUsing MPrasadRKBrayton
SAT-Based Complete Don’t-Care Computation for Network Optimization